Fix #52
added 1 commit
Compare with previous version
now also includes a fix to the CentOS repo URLs for the CI
approved this merge request
mentioned in commit 771d4461
merged