Bug#717146: pu: package gnome-shell/3.4.2-7+deb7u1

["Adam D. Barratt" <adam@adam-barratt.org.uk>]

On Thu, 2013-07-25 at 20:08 +0100, Adam D. Barratt wrote:
> On Wed, 2013-07-17 at 11:57 +0200, Josselin Mouette wrote:
> > please find attached a proposed update for gnome-shell. It includes 
> > these changes:
> >  - a bugfix in the “gdm-shell” mode of the login manager;
> >  - a move of the first GC pass much earlier in the session, to avoid 
> >    losing several minutes worth of work if it locks up (I hope you 
> >    remember the trouble with this crappy GC during the freeze);
> >  - a watchdog to suicide the process (and let gnome-session restart it) 
> >    if the GC actually locks up.
> 
> Please go ahead; thanks.

Ping?

Regards,

Adam