Pipeline #49266 passed
Pipeline passed for 70fdb81e on sj5 3 years ago
Pipeline #49337 passed
Pipeline passed for 5b45dda7 on develop 3 years ago
added GUI cleanup labels
enabled an automatic merge when the pipeline for 70fdb81e succeeds
mentioned in commit 5b45dda7
merged