http://josm.openstreetmap.de/ticket/5588
Thanks!Mike
_______________________________________________ josm-dev mailing list josm-dev@openstreetmap.org http://lists.openstreetmap.org/listinfo/josm-dev
Could someone look at ticket #5588 and let me know if it is OK and implement
it if possible?
