Commit 4538e047 authored by Toon Claes's avatar Toon Claes

Merge branch 'sh-gdk-update-fix' into 'master'

Fix gdk update when gitlab branch is not on master

Closes #495

See merge request !669
parents 688e2b7a d52ae745
Pipeline #62521624 (#3036) failed with stages
in 19 minutes and 58 seconds