[Tagging] Radio telescopes

marc marc marc_marc_irc at hotmail.com
Thu Oct 25 09:48:13 UTC 2018

Le 25. 10. 18 à 09:35, Joseph Eisenberg a écrit :
> Would it be acceptable to add man_made=radio_telescope to
> deprecated features, and suggest use of the more common
> man_made=telescope & telescope:type=radio tags?

imho yes it's a good idea to avoid 2 tags with the same meaning

More information about the Tagging mailing list