079b95f9

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

Refresh public source mapping through discriminant validation checkpoint
GitHub
configure