Closes #876 (closed)
changed milestone to %v13.1.3
added BUG label
enabled an automatic merge when the pipeline for c6646fc5 succeeds
merged
mentioned in commit 1f05f5a4