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

To: 781281@bugs.debian.org
Subject: Bug#781281: wheezy-pu: package gnome-shell/3.4.2-7+deb7u2
From: Josselin Mouette <joss@debian.org>
Date: Fri, 17 Apr 2015 13:34:33 +0200
Message-id: <[🔎] 1429270473.5547.0.camel@debian.org>
Reply-to: Josselin Mouette <joss@debian.org>, 781281@bugs.debian.org
In-reply-to: <[🔎] 20150412121907.GN16466@betterave.cristau.org>
References: <20150326205411.GA2415@malsain.org> <[🔎] 20150412121907.GN16466@betterave.cristau.org>

Le dimanche 12 avril 2015 à 14:19 +0200, Julien Cristau a écrit :
> Is there no debian bug for this?  Which version has the fix in
> sid/jessie?

I’ve fixed the changelog (bug number and suite) and uploaded.

Thanks,
-- 
 .''`.      Josselin Mouette
: :' :
`. `'
  `-

Reply to:

Follow-Ups:
- Bug#781281: wheezy-pu: package gnome-shell/3.4.2-7+deb7u2
  - From: "Adam D. Barratt" <adam@adam-barratt.org.uk>

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

Prev by Date: Bug#782743: marked as done (unblock: brltty/5.2~20141018-5)
Next by Date: Bug#782381: Bug#781995: motif/2.3.4-6.1 failed to build
Previous by thread: Processed: Re: 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