Commit 62ec8f6c authored by jvoisin's avatar jvoisin
Browse files

Fix the CI on fedora

parent 148bcbba