Revision 9657eef0ec32d2e2e80a8453e4954d76ebdda7fc

Committed on 21/12/2013 1:42 am by Kore Nordmann <mail@kore-nordmann.de> [GitHub Diff]

Use non-local-aware number printing everywhere