-----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@lists.alioth.debian.org> Changed-By: Josselin Mouette <joss@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-----
