Florian Dold b03b4dc350 benchmark: fix typo il y a 5 ans
..
collect.awk b03b4dc350 benchmark: fix typo il y a 5 ans