Closes #763 (closed)
Pipeline #9558 passed
Pipeline passed for 4c18ff64 on 763-closing-submap-window 5 years ago
Merge details
Pipeline #9561 passed
Pipeline passed for 21d92929 on devel_12.2.x 5 years ago
enabled an automatic merge when the pipeline for 4c18ff64 succeeds
merged
mentioned in commit 21d92929