On Wed, 2017-03-01 at 09:08 +0000, Allan Day wrote: > I don't think this one is particularly needed any more.
OK, I'll drop it then. I agree, it no longer seems relevant. Michael _______________________________________________ desktop-devel-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/desktop-devel-list
