Closes #708 (closed)
Pipeline #8950 passed
Pipeline passed for 8bec9210 on 708-annotation-with-three-digit 6 years ago
Merge details
Pipeline #8952 passed
Pipeline passed for 99fcd6ce on devel_12.2.x 6 years ago
enabled an automatic merge when the pipeline for 8bec9210 succeeds
merged
mentioned in commit 99fcd6ce