5c2fb717

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

Distinguish historical benchmark proposals from current gates
GitHub
configure