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

2013-08-22 Thread Adam D. Barratt
Control: tags -1 + pending On Tue, 2013-08-20 at 09:41 +0200, Josselin Mouette wrote: 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

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

2013-08-22 Thread Debian Bug Tracking System
Processing control commands: tags -1 + pending Bug #717146 [release.debian.org] pu: package gnome-shell/3.4.2-7+deb7u1 Added tag(s) pending. -- 717146: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=717146 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems -- To

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

2013-08-20 Thread Josselin Mouette
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

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

2013-08-19 Thread Adam D. Barratt
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

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

2013-07-25 Thread Adam D. Barratt
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

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

2013-07-25 Thread Debian Bug Tracking System
Processing control commands: tags -1 + confirmed Bug #717146 [release.debian.org] pu: package gnome-shell/3.4.2-7+deb7u1 Added tag(s) confirmed. -- 717146: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=717146 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems -- To

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

2013-07-17 Thread Josselin Mouette
Package: release.debian.org Severity: normal User: release.debian@packages.debian.org Usertags: pu Hi, 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