[mkgmap-dev] Commit r4255: commit change that is needed since 4252