Skip to content

Protect from division by zero in PrCounter2 (@sstahl)

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

Cherry picked from !1088 (merged) in master

Edited by Marco Cattaneo

Merge request reports