Closes #474 (closed)
Pipeline #6136 passed
Pipeline passed for 90628a00 on 474-typo 6 years ago
Merge details
Pipeline #6137 passed
Pipeline passed for 5f4fc386 on devel_12.0.x 6 years ago
enabled an automatic merge when the pipeline for 90628a00 succeeds
merged
mentioned in commit 5f4fc386