Closes #874 (closed)
changed milestone to %v13.1.3
added BUG label
enabled an automatic merge when the pipeline for bc5f6e96 succeeds
merged
mentioned in commit 46241de0