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.

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 lurker? Do NOT participate in discussions.

Reply via email to