https://www.openstreetmap.org/changeset/37315914
Should I just manually delete, or would it be better for someone to do a revert. Mike
_______________________________________________ talk mailing list [email protected] https://lists.openstreetmap.org/listinfo/talk
