Closes #865 (closed)
changed milestone to %v13.1.2
added BUG label
enabled an automatic merge when the pipeline for 962a0b5d succeeds
merged
mentioned in commit 81f27149