[mkgmap-dev] [PATCH v1] - extend --replace-short-arcs option to take min arc length

As promised, here's a patch that will let you specify a min arc length like this --replace-short-arcs=3.5. If you don't specify a length, it will only remove zero-length arcs (as it does now). Cheers, Mark