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 talk@openstreetmap.org https://lists.openstreetmap.org/listinfo/talk