c0ef0882

By: ValentinHirschi <valentin.hirschi@gmail.com>

Record semi-numerical release benchmarks
GitHub
configure