Hi Mike#2

On  Mo 08 Sep 2014 15:51:53 CEST, Michael DePaulo wrote:

> I read the GNOME bug report more closely and came up with this plan.  
> Thoughts?
>
> 1. Fix the issues/shortcomings with the patch for GNOME bug 731173 and
> get it accepted into the latest GNOME, even if that version is of
> GNOME is 3.15/3.16 rather than 3.13/3.14.
> 2. Backport the patch to GNOME 3.12.
> 3. File a bug report for Debian to accept the backported patch.
> 4. Ping mitya57 on #debian-devel

I recommend swapping the order: 3. <-> 4. Communicate first, then file  
the BTS report.

Greets,
Mike#1
-- 

DAS-NETZWERKTEAM
mike gabriel, herweg 7, 24357 fleckeby
fon: +49 (1520) 1976 148

GnuPG Key ID 0x25771B31
mail: mike.gabriel@das-netzwerkteam.de, http://das-netzwerkteam.de

freeBusy:
https://mail.das-netzwerkteam.de/freebusy/m.gabriel%40das-netzwerkteam.de.xfb