c0c3ecc0

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

Refresh no-contour benchmark status and PR review preference
GitHub
configure