Revision 9657eef0ec32d2e2e80a8453e4954d76ebdda7fc

Committed on 21/12/2013 1:42 am by Kore Nordmann <[email protected]> [GitHub Diff]

Use non-local-aware number printing everywhere