Commit 6df65797 authored by Maxime Perrotin's avatar Maxime Perrotin

Merge branch 'feature_gprconfig' into 'master'

Mirror buildsupport call to gprconfig

See merge request !52
parents ed35b4d4 1821c1a1
Pipeline #2144 failed with stage
in 7 minutes and 39 seconds