Skip to content

Fix decimal option in metrics command

Amir MOHAMMADIrequested to merge
p1 into master

Fixes #52 (closed)

Merge request reports