Commit 6638d49e authored by mh's avatar mh

well the bins should still be executable

parent 39eeda5f
Pipeline #3391 passed with stages
in 13 minutes and 3 seconds