Commit 05e4436c authored by Fahlke, Jorrit's avatar Fahlke, Jorrit

Merge branch 'follow-repo-move' into 'master'

Adjust URLs in build script after repo move

See merge request !15
parents f0684905 f586f17e
Pipeline #38408 passed with stages
in 33 seconds