From: Mark Wooding <mdw@distorted.org.uk>
Date: Thu, 11 May 2023 01:55:25 +0000 (+0100)
Subject: @@@ adjust bench timings
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/mLib/commitdiff_plain/c7da785d89746cbcdc25bdea0fd66156d4c61cb9?hp=c7da785d89746cbcdc25bdea0fd66156d4c61cb9

@@@ adjust bench timings
---