Merge pull request #2517 from poolifier/combined-prs-branch
[poolifier.git] / versus-external-pools / hyperfine_benchmarks.sh