Re: [mkgmap-dev] broken mp in mkgmap-high-prec-coord-r2984