<div dir="ltr"><div dir="ltr"><br clear="all"><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div dir="ltr"><br></div></div></div></div></div><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, 16 Mar 2019 at 02:17, Jan S <<a href="mailto:grimpeur78@gmail.com">grimpeur78@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>Would it be a possible solution to keep amenity=police for public-facing police stations only, but invite mappers on the wiki to nevertheless add police=station, so that in the future the majority of police stations will hopefully also carry the police=station tag?<br></blockquote><div><br></div><div>As I mentioned earlier though, rendering would also have to be changed, so that the only things that renders with the Police icon is the actual public-facing Police stations.</div><div><br></div><div>The Police warehouse, holding yard, vehicle maintenance facility, driver training track, Academy, Mounted Police stables etc etc should not be rendered with the Police icon, as they are not open to the public.</div><div><br></div><div>Thanks<div><br></div><div>Graeme</div></div></div></div>