• snaggen
    link
    fedilink
    arrow-up
    8
    ·
    10 months ago

    7.13% walltime, that is quite good. Nice to see these kind of updates.