[Tagging] Wiki changes for police tag

[Jan S]

Hi everyone,

I've created the pages https://wiki.openstreetmap.org/wiki/Key:police and
subpages for values police=barracks, police=car_pound, police=car_repair,
police=checkpoint, police=detention, police=naval_base, police=offices,
police=range, police=storage and police=training area, as well as the
generic police=yes.

All this in accordance with the approved proposal for key:police.

Best, Jan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.openstreetmap.org/pipermail/tagging/attachments/20190517/eec87508/attachment-0001.html>