a62d2c8b

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

Merge remote-tracking branch 'origin/main'
GitHub
configure