Closes #686 (closed)
Pipeline #8993 passed
Pipeline passed for 0d2036e6 on 686-plugins-not-properly-removed 6 years ago
Merge details
Pipeline #8994 passed
Pipeline passed for 0e1b5458 on devel_12.2.x 6 years ago
enabled an automatic merge when the pipeline for 0d2036e6 succeeds
merged
mentioned in commit 0e1b5458