<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><br><br><div dir="ltr">sent from a phone</div><div dir="ltr"><br><blockquote type="cite">On 26. Feb 2020, at 09:56, Joseph Eisenberg <joseph.eisenberg@gmail.com> wrote:<br><br></blockquote></div><blockquote type="cite"><div dir="ltr">man_made=petroleum_well</div></blockquote><div><br></div><div>thank you for bringing this up. I just noticed you have added a deprecation note on</div><div><br></div><div>man_made=gas_well</div><div><br></div><div>and suggest to use man_made=petroleum_well for gas wells. </div><div><a href="https://wiki.openstreetmap.org/wiki/Tag:man_made%3Dgas_well">https://wiki.openstreetmap.org/wiki/Tag:man_made%3Dgas_well</a></div><div><br></div><div>are we sure the term petroleum well covers gas wells? (there is usually also some gas to deal with when extracting ”stone oil”, but a petroleum well which extracts only gas can still be called an “oil well”?)</div><div><br></div><div>Cheers Martin </div><div><br></div><div><br></div></body></html>