Processed: Re: Bug#781281: wheezy-pu: package gnome-shell/3.4.2-7+deb7u2

To: Julien Cristau <jcristau@debian.org>
Cc: debian-release@lists.debian.org
Subject: Processed: Re: Bug#781281: wheezy-pu: package gnome-shell/3.4.2-7+deb7u2
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Sun, 12 Apr 2015 12:21:19 +0000
Message-id: <[🔎] handler.s.B781281.142884115328544.transcript@bugs.debian.org>
References: <[🔎] 20150412121907.GN16466@betterave.cristau.org> <20150326205411.GA2415@malsain.org>

Processing control commands:

> tags -1 confirmed
Bug #781281 [release.debian.org] wheezy-pu: package gnome-shell/3.4.2-7+deb7u2
Added tag(s) confirmed.

-- 
781281: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=781281
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#781281: wheezy-pu: package gnome-shell/3.4.2-7+deb7u2
  - From: Julien Cristau <jcristau@debian.org>

Prev by Date: Bug#781281: wheezy-pu: package gnome-shell/3.4.2-7+deb7u2
Next by Date: Bug#781281: wheezy-pu: package gnome-shell/3.4.2-7+deb7u2
Previous by thread: Bug#781281: wheezy-pu: package gnome-shell/3.4.2-7+deb7u2
Next by thread: Bug#781281: wheezy-pu: package gnome-shell/3.4.2-7+deb7u2
Index(es):
- Date
- Thread