Re: [mkgmap-dev] [splitter patch] check for mapids with less than 9 digits