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

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

Control: tags -1 + confirmed

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.

Regards,

Adam