Skip to content

[reports] floating point precision applied to time information

Flavio TARSETTI requested to merge fix_issue_315 into master

As discussed, the time information has now been patched by André (due to a cache issue). It now makes no sense not to apply floating point precision to time information. Fixes #315 (closed)

Merge request reports