Skip to content
GitLab

Fix the wrong total number reported in metrics

Merged Amir MOHAMMADI requested to merge metrics-fix into master

Fixes bob.measure#61 (closed)

Edited by Amir MOHAMMADI