Hi Bastien, On Fri, 16 Sep 2016, Bastien Nocera wrote: > Scattered in a couple of bugs: > https://bugzilla.gnome.org/show_bug.cgi?id=771515 > https://bugzilla.gnome.org/show_bug.cgi?id=765969 > https://bugzilla.gnome.org/show_bug.cgi?id=771538 > > I did some testing, and it seemed to work as expected. Rafael, could > you test it as well?
I did not realize at first that "Rafael" was me (since my name is Raphaël) :-) I just tested the two for patches for https://bugzilla.gnome.org/show_bug.cgi?id=771515 and they work fine here. Cheers, -- Raphaël Hertzog ◈ Debian Developer Support Debian LTS: http://www.freexian.com/services/debian-lts.html Learn to master Debian: http://debian-handbook.info/get/ _______________________________________________ [email protected] https://mail.gnome.org/mailman/listinfo/release-team Release-team lurker? Do NOT participate in discussions.
