On Mon, Jul 31, 2017 at 1:29 PM, mcatanz...@gnome.org wrote:
I'm testing this now and will push as soon as I'm sure I haven't broken anything.
Done. Michael
_______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/desktop-devel-list
