Commit ed35b4d4 authored by Maxime Perrotin's avatar Maxime Perrotin

Merge branch 'feature_workaroundGprbuildBug' into 'master'

Feature workaround gprbuild bug

See merge request !51
parents 7236498a 478cfa18
Pipeline #2140 passed with stage
in 8 minutes and 25 seconds