Skip to content
Snippets Groups Projects
Commit 9d94997a authored by Marco Cattaneo's avatar Marco Cattaneo
Browse files

Merge branch 'protect_division' into 'master' 

Protect from division by zero in PrCounter2

See merge request !1088

(cherry picked from commit d810b1b2)

ad71120c Protect from division by zero
parent 1366e10c
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment