Commit 8facab5a authored by Andreas Marek's avatar Andreas Marek

Gitlab CI: fix distcheck tests

parent 6c4c3def