Closed rainman110 closed 10 months ago
In GitLab by @jensschmeink on Dec 12, 2019, 12:02
added 1 commit
In GitLab by @jensschmeink on Dec 12, 2019, 12:03
approved this merge request
In GitLab by @jensschmeink on Dec 12, 2019, 12:03
unmarked as a Work In Progress
In GitLab by @jensschmeink on Dec 12, 2019, 12:03
enabled an automatic merge when the pipeline for a8496d68f3c6f64b80b28ce4ac372324828d9e37 succeeds
In GitLab by @jensschmeink on Dec 12, 2019, 12:03
merged
In GitLab by @jensschmeink on Dec 12, 2019, 12:03
mentioned in commit 94f41b928be970553a15101fa3390a540841afc7
In GitLab by @jensschmeink on Dec 12, 2019, 09:02
Merges 4-new-local-settings-structure-and-update-of-pipeline -> master
Closes #4