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/
_______________________________________________
release-team@gnome.org
https://mail.gnome.org/mailman/listinfo/release-team
Release-team lurker? Do NOT participate in discussions.

Reply via email to