Skip to content

Propagate MR !1033 from master to 2018-patches

Marco Cattaneo requested to merge cherry-pick-d3fafe02 into 2018-patches

Do not rely on counter order when comparing counters (cherry picked from commit d3fafe02)

Merge request reports