Re: [mkgmap-dev] Commit r3675: dest_hint_v1.patch : change --process-destination option