gnome-shell_3.4.2-7+deb7u1_amd64.changes ACCEPTED into proposed-updates->stable-new, proposed-updates

[Debian FTP Masters]

Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Thu, 25 Jul 2013 21:27:51 +0200
Source: gnome-shell
Binary: gnome-shell gnome-shell-common gnome-shell-dbg
Architecture: source all amd64
Version: 3.4.2-7+deb7u1
Distribution: stable
Urgency: low
Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers at lists.alioth.debian.org>
Changed-By: Josselin Mouette <joss at debian.org>
Description: 
 gnome-shell - graphical shell for the GNOME desktop
 gnome-shell-common - common files for the GNOME graphical shell
 gnome-shell-dbg - Debugging symbols for GNOME Shell
Closes: 714862
Changes: 
 gnome-shell (3.4.2-7+deb7u1) stable; urgency=low
 .
   [ Josselin Mouette ]
   * 30_lockup_gc.patch:
     + Run the GC a first time after 15 seconds, and next every 10
       minutes. This is to avoid running into a deadlock (which often
       happens the first time) and lose 10 minutes of work.
     + Add a watchdog thread to suicide the process after 10 seconds if
       the GC locks up.
 .
   [ Sébastien Villemot ]
   * debian/patches/61-disable-restart-buttons.patch: new patch, backported from
     upstream. Makes the 'disable-restart-buttons' option of gdm-shell work.
     (Closes: #714862)
Checksums-Sha1: 
 7f95b27ed439d5e949de246e44fc14391bebab99 2619 gnome-shell_3.4.2-7+deb7u1.dsc
 87a39f5decf83d42d488a3dca9075c22c25c048f 34572 gnome-shell_3.4.2-7+deb7u1.debian.tar.gz
 2f5decd3cf3f52ed06e8fd96d4f093512c0deb71 665602 gnome-shell-common_3.4.2-7+deb7u1_all.deb
 617b8d377978ae2af25dc940c2c175ab33a92e56 280144 gnome-shell_3.4.2-7+deb7u1_amd64.deb
 bbe58e2a816c3f54ddefe0050270d271ab0eb4ab 758498 gnome-shell-dbg_3.4.2-7+deb7u1_amd64.deb
Checksums-Sha256: 
 40d4da8d15bef6da083f97b8156a5416f225610e37d60b4012abed322f3e4622 2619 gnome-shell_3.4.2-7+deb7u1.dsc
 ed15fda2b0a1d308337ccae7c8e784caacbf788957dfce9982c7ac1cd34e6fb0 34572 gnome-shell_3.4.2-7+deb7u1.debian.tar.gz
 7ece929bdc773a77ce4c2d16505f215ccf46ea8b4c3f594aaff110bc62da1daa 665602 gnome-shell-common_3.4.2-7+deb7u1_all.deb
 debb9648b19e698f95f65c8d285468b5b6dea104fc55092acd4a138a0b7f8a30 280144 gnome-shell_3.4.2-7+deb7u1_amd64.deb
 dc80ca53d6f64f3a4d8b37a6b7ed6be752f2d049919c06d595857b0f4cbf281e 758498 gnome-shell-dbg_3.4.2-7+deb7u1_amd64.deb
Files: 
 cd5e05a08636dc16e2fcadb194f65ab5 2619 gnome optional gnome-shell_3.4.2-7+deb7u1.dsc
 570f4c79a8a4589b5cb2d093931b4247 34572 gnome optional gnome-shell_3.4.2-7+deb7u1.debian.tar.gz
 eea14669dc2326457df620128ef94e65 665602 gnome optional gnome-shell-common_3.4.2-7+deb7u1_all.deb
 3d358da71018300bb4715bfb196ab728 280144 gnome optional gnome-shell_3.4.2-7+deb7u1_amd64.deb
 438e73b9fa84cae887c82b7848d98245 758498 debug extra gnome-shell-dbg_3.4.2-7+deb7u1_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iD8DBQFR8YuzrSla4ddfhTMRArwzAJ46yA+h+5LwdeGwxtA2cL2MMyPITgCeISi9
xm5lhe4aOagrS4UftIhxtzk=
=1GK5
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.