Re: [mkgmap-dev] option --mdr7-del: change or add new option?