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

To: "Adam D. Barratt" <adam@adam-barratt.org.uk>
Cc: debian-release@lists.debian.org
Subject: Processed: Re: Bug#717146: pu: package gnome-shell/3.4.2-7+deb7u1
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Thu, 22 Aug 2013 21:48:05 +0000
Message-id: <[🔎] handler.s.B717146.137720795224128.transcript@bugs.debian.org>
References: <[🔎] 1377207941.23196.9.camel@jacala.jungle.funky-badger.org> <20130717095713.15997.50529.reportbug@saki.malsain.org>

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 owner@bugs.debian.org with problems

Reply to:

References:
- Bug#717146: pu: package gnome-shell/3.4.2-7+deb7u1
  - From: "Adam D. Barratt" <adam@adam-barratt.org.uk>

Prev by Date: Re: default-jdk change on kfreebsd
Next by Date: Bug#717146: pu: package gnome-shell/3.4.2-7+deb7u1
Previous by thread: Bug#717146: pu: package gnome-shell/3.4.2-7+deb7u1
Next by thread: Bug#716741: pu: package swift/1.4.8-2+deb70u1 (CVE-2013-2161)
Index(es):
- Date
- Thread