[Tagging] Area country borders

[Martin Koppenhoefer]

Am Mo., 27. Jan. 2020 um 18:43 Uhr schrieb Snusmumriken <
snusmumriken.mapper at runbox.com>:

> On Mon, 2020-01-27 at 17:35 +0000, Paul Allen wrote:
> > Do we have a way of mapping this?  Should we have a way of mapping
> > this?
>
> From what I can tell, it was already been done.



indeed, it is already done:
https://www.openstreetmap.org/way/23578714/history#map=15/49.5616/6.3758

Cheers
Martin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.openstreetmap.org/pipermail/tagging/attachments/20200127/5a6d28f8/attachment.htm>