See #18 (closed).
Pipeline #4246 passed
Pipeline passed for 688588a6 on #18 5 years ago
Pipeline #4247 passed
Pipeline passed for a06bb084 on development 5 years ago
enabled an automatic merge when the pipeline for 688588a6 succeeds
merged
mentioned in commit a06bb084