Re: [mkgmap-dev] Possible problem with global search index since r3875