On Monday 05 October 2015, Martin Koppenhoefer wrote: > > I m not sure whether you could call a rock-cut tube a "pipe". > Typically a pipeline would suggest someone installing pipes, not > drilling rock. (I might be wrong here, as English is not my mother > tongue and I'm not an expert in civil engineering, but on first > glance pipeline sounds wrong there)
I think you are correct in principle but man_made=pipeline specifically includes underground features and it is probably not very practical to differentiate between 'pipelines with a pipe' and pipelines without a pipe' underground. -- Christoph Hormann http://www.imagico.de/ _______________________________________________ Tagging mailing list [email protected] https://lists.openstreetmap.org/listinfo/tagging
