c6caad1e

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

Clarify final scheduling counter comparison
GitHub
configure