Re: [mkgmap-dev] Commit: r3081: merge from the high-prec-coord branch.