Re: [mkgmap-dev] [PATCH v1] fix overview bounding box rounding

Apart from Felix's report, I have seen no other comments about this patch so I shall commit it unless anyone reports any problems with it in the next day or so. Mark