Bug#717852: pu: package devscripts/2.12.6+deb7u1

[Moritz Muehlenhoff <jmm@debian.org>]

Package: release.debian.org
Severity: normal
User: release.debian.org@packages.debian.org
Usertags: pu

Hi,
build-rdeps is broken in Wheezy, see #695975.

I'd like to fix this for the 7.2 point update with the following
debdiff. Ok to upload?

Cheers,
        Moritz

diff -Nru devscripts-2.12.6/debian/changelog devscripts-2.12.6+deb7u1/debian/changelog
--- devscripts-2.12.6/debian/changelog  2012-11-25 00:49:03.000000000 +0100
+++ devscripts-2.12.6+deb7u1/debian/changelog   2013-07-25 15:22:11.000000000 +0200
@@ -1,3 +1,9 @@
+devscripts (2.12.6+deb7u1) stable; urgency=low
+
+  * Fix build-rdeps to work with Wheezy being stable (Closes: #695975)
+
+ -- Moritz M�off <jmm@debian.org>  Thu, 25 Jul 2013 00:20:48 +0200
+
 devscripts (2.12.6) unstable; urgency=low

   * Actual install German translation.
diff -Nru devscripts-2.12.6/scripts/build-rdeps.pl devscripts-2.12.6+deb7u1/scripts/build-rdeps.pl
--- devscripts-2.12.6/scripts/build-rdeps.pl    2012-06-30 16:30:26.000000000 +0200
+++ devscripts-2.12.6+deb7u1/scripts/build-rdeps.pl     2013-07-25 15:20:44.000000000 +0200
@@ -99,7 +99,7 @@
 my $version = '1.0';
 my $dctrl = "grep-dctrl";
 my $sources_path = "/var/lib/apt/lists/";
-my $release_pattern = '(.*_dists_(sid|unstable))_(?:In)*Release$';
+my $release_pattern = '(.*_dists_(wheezy|stable))_(?:In)*Release$';
 my %seen_origins;
 my @source_files;
 my $opt_debug;