<div dir="ltr"><a href="https://www.openstreetmap.org/changeset/37315914">https://www.openstreetmap.org/changeset/37315914</a><br><div><br></div><div>Should I just manually delete, or would it be better for someone to do a revert.</div><div><br></div><div>Mike</div><div><br></div><div><br></div><div><br></div></div>