Closes #584 (closed)
Pipeline #7614 passed
Pipeline passed for 41b455d3 on 584-add-description 6 years ago
Merge details
Pipeline #7615 passed
Pipeline passed for fc018982 on devel_12.1.x 6 years ago
enabled an automatic merge when the pipeline for 41b455d3 succeeds
mentioned in commit fc018982
merged