Skip to content

Protect from division by zero in PrCounter2 (@sstahl)

Marco Cattaneo requested to merge cherry-pick-d810b1b2-2 into 2017-patches

Cherry picked from !1088 (merged) in master

Merge request reports