Skip to content

Fix the wrong total number reported in metrics

Amir MOHAMMADI requested to merge metrics-fix into master

Fixes bob.measure#61 (closed)

Edited by Amir MOHAMMADI

Merge request reports