Bug#784248: developers-reference: wheezy is Debian 7 (7.0 is only the first release)

[Santiago Vila <sanvila@unex.es>]

Package: developers-reference
Version: 3.4.14
Tags: patch

While we are at it, Debian 7 is preferred over Debian 7.0 if we refer
to wheezy during all its lifetime, including all the point releases.

Patch follows (to be applied after the previous one).

diff --git a/developers-reference-3.4.14/pkgs.dbk b/developers-reference-3.4.14/pkgs.dbk
index 2daf418..8e2d523 100644
--- a/developers-reference-3.4.14/pkgs.dbk
+++ b/developers-reference-3.4.14/pkgs.dbk
@@ -2157,7 +2157,7 @@ this, a version of the form
 <literal>+deb<replaceable>X</replaceable>u<replaceable>Y</replaceable></literal>
 should be used, where <replaceable>X</replaceable> is the major release number,
 and <replaceable>Y</replaceable> is a counter starting at <literal>1</literal>.
-For example, while Wheezy (Debian 7.0) is stable, a security upload to stable for
+For example, while Wheezy (Debian 7) is stable, a security upload to stable for
 a package at version <literal>1.5-3</literal> would have version
 <literal>1.5-3+deb7u1</literal>, whereas a security upload to Jessie would get
 version <literal>1.5-3+deb8u1</literal>.


Thanks.