On 2025-08-20 23:04:45 [+0200], Stefano Brivio wrote: > On Wed, 20 Aug 2025 18:34:51 +0200 > > it's a single run and not exactly from the same baseline (you see that > the baseline actually improved), but I'd say it's enough to be > confident that the change doesn't affect matching rate significantly, > so: > > Reviewed-by: Stefano Brivio <sbrivio@xxxxxxxxxx> > > ...thanks for making this simpler! Thank you for testing in the meantime! Sebastian