Skip to content

Update references after !4833

Marco Clemencicrequested to merge
master-ref-update into master

In !4833 (merged) I ignored the conflicts in the reference files because the ci-test showed no relevant change in the number of failures.

This MR rectifies the mistake.

/cc @sponce

Merge request reports