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

[Josselin Mouette <joss@debian.org>]

Le lundi 19 août 2013 à 21:05 +0100, Adam D. Barratt a écrit : 
> 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?

I was waiting for feedback, which I just had, so I’m uploading right
now.

Thanks,
-- 
 .''`.      Josselin Mouette
: :' :
`. `'
  `-