Close taginfo-dev Mailinglist

[joto]

The taginfo-dev mailinglist can be closed now. I have already sent a "closing down" message there and removed all mentions of it from the taginfo wiki pages.

See also #975.

[Firefishy]

I've made the changes as per https://github.com/openstreetmap/operations/wiki/Retiring-a-Mailing-list