On Mon, 11 Mar 2019 at 09:32, Jan S <grimpeu...@gmail.com> wrote: > > How about police=detention as a more generic term then? >
Yep, that covers it nicely! Thanks Graeme
_______________________________________________ Tagging mailing list Tagging@openstreetmap.org https://lists.openstreetmap.org/listinfo/tagging