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 thefirst patch. This fixes #621757 and I think it is the logical thing todo. * 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