changeset:   251:0b6159e9ff13
tag:         v7.3.0.251-release
user:        Tercio
date:        Tue Oct 10 10:37:33 2017 -0300
summary:     - Using new number format for icons on the world map, so it uses less space.


