<div dir="ltr"><div class="gmail_quote"><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr"><div>Nobody's proposing another amenity tag. My thrust here is to gather opinions about adding another shop key, this one a shop for petrol (gas, gasohol, etc.). The places I have in mind are not the same as standard fueling places, tagged amenity=fuel, in fact, I wish them to be tagged differently so the two types are not confused. They're much smaller and offer no other services or amenities whatsoever.</div><div></div></div></blockquote></div><br>I tried to attach my icon for this purpose but this silly listserve software doesn't allow that. <br><div class="gmail_extra"><br clear="all"><div><br></div><div class="gmail_signature"></div>
</div></div>