Hi,
On 2013-05-31 9:51, Santiago Vila wrote:
We usually update /etc/debian_version at every point release.
AFAIK, this is what everybody wants.
Agreed.
So I have three proposals, in order of preference:
* The "good": Update the four files at every point release, as in the
first patch. This fixes #621757 and I think it is the logical thing
to
do.
* The "ugly": Update only /etc/debian_version, as in squeeze, but fix
the mistake of specifying "7.0" when in fact that will only be true
for Debian 7.0 and not Debian 7.1. This would be the second patch.
We've had a quick chat about this, and our preference would be for the
option you've termed "ugly". Now that we've stopped using the three part
versioning, it seems more logical for wheezy to be "Debian 7" and for
the issue files to reflect that.
Regards,
Adam
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive:
http://lists.debian.org/[email protected]
