tree 1fdb1b6c085e589873e5b8075891c821e8c559ce
parent 8931e07a112c19d8077b3f39ba9eacb90b9fa766
author aefimov <none@none> 1529591874 +0100
committer aefimov <none@none> 1529591874 +0100
HG:rename-source hg

8204497: Better formatting of decimals
Reviewed-by: joehw