Closed Juknum closed 2 years ago
In GitLab by @sli on Nov 25, 2019, 13:31
enabled an automatic merge when the pipeline for 6a153719f9e7cdb8143f5e107256fcbc4b3eb335 succeeds
In GitLab by @sli on Nov 25, 2019, 14:18
merged
In GitLab by @sli on Nov 25, 2019, 14:18
mentioned in commit ad8bcc72821ddd70ef5afc557ae681c9031b1a20
In GitLab by @sli on Nov 25, 2019, 13:31
Merges bugfix -> master