Closed tdowrick closed 3 years ago
In GitLab by @ThomasDowrick on Jun 25, 2019, 09:24
added 1 commit
In GitLab by @ThomasDowrick on Jun 25, 2019, 09:25
Made a couple of edits, but otherwise looks good.
In GitLab by @DavidPerez-Suarez on Aug 20, 2019, 16:06
added 12 commits
start_deps
In GitLab by @DavidPerez-Suarez on Aug 20, 2019, 16:06
enabled an automatic merge when the pipeline for 2bc63c83f8ad31d580ff12a73ff3b43a01972660 succeeds
In GitLab by @DavidPerez-Suarez on Aug 20, 2019, 16:11
canceled the automatic merge
In GitLab by @DavidPerez-Suarez on Aug 20, 2019, 16:11
merged
In GitLab by @RolandGuichard on Jun 24, 2019, 13:18
_Merges launcher -> startdeps
Fixes #65