On Tue, Feb 05, 2019 at 11:44:13PM +0100, Sergio Manzi wrote: > done! oh well.. now they moved it into some users namespace.
I guess we need category:humor ? Richard _______________________________________________ Tagging mailing list [email protected] https://lists.openstreetmap.org/listinfo/tagging
