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 |
Found it. Looks like the inexperienced user just deleted the toilets as they had closed. Have restored: http://www.openstreetmap.org/way/93611244/history#map=19/55.96264/-3.20005
Thanks a lot.