https://openstreetmap.org/copyright | https://openstreetmap.org |
Copyright OpenStreetMap and contributors, under an open license |
https://openstreetmap.org/copyright | https://openstreetmap.org |
Copyright OpenStreetMap and contributors, under an open license |
Mapped as named node http://www.openstreetmap.org/node/512146657 and separate area http://www.openstreetmap.org/way/139349293
so I'll merge the two.
Done.