Skip to content

Protect from division by zero in PrCounter2 (@sstahl)

Marco Cattaneo requested to merge cherry-pick-d810b1b2-3 into 2016-patches

Cherry picked from !1088 (merged) in master

Merge request reports