Package: release.debian.org Tags: stretch User: release.debian....@packages.debian.org Usertags: pu
Dear Release Managers: With the base-files upload for the next Debian 9 point release, I'd like to introduce CODENAME_VERSION in stretch as it was already done in buster. This is an optional field according to the specs, so there should be no impact for people following the specs. This would be the full debdiff. Waiting for approval before upload. Thanks. diff -Nru base-files-9.9+deb9u9/debian/changelog base-files-9.9+deb9u10/debian/changelog --- base-files-9.9+deb9u9/debian/changelog 2019-03-28 10:12:44.000000000 +0100 +++ base-files-9.9+deb9u10/debian/changelog 2019-08-30 10:45:44.000000000 +0200 @@ -1,3 +1,11 @@ +base-files (9.9+deb9u10) stretch; urgency=medium + + * Change /etc/debian_version to 9.10, for Debian 9.10 point release. + * Add VERSION_CODENAME to os-release. Closes: #829245. Please note + that this is only for stable releases. + + -- Santiago Vila <sanv...@debian.org> Fri, 30 Aug 2019 10:45:44 +0200 + base-files (9.9+deb9u9) stretch; urgency=medium * Change /etc/debian_version to 9.9, for Debian 9.9 point release. diff -Nru base-files-9.9+deb9u9/etc/debian_version base-files-9.9+deb9u10/etc/debian_version --- base-files-9.9+deb9u9/etc/debian_version 2019-03-28 10:12:44.000000000 +0100 +++ base-files-9.9+deb9u10/etc/debian_version 2019-08-30 09:00:00.000000000 +0200 @@ -1 +1 @@ -9.9 +9.10 diff -Nru base-files-9.9+deb9u9/etc/os-release base-files-9.9+deb9u10/etc/os-release --- base-files-9.9+deb9u9/etc/os-release 2017-01-15 23:00:00.000000000 +0100 +++ base-files-9.9+deb9u10/etc/os-release 2019-08-30 10:45:44.000000000 +0200 @@ -2,6 +2,7 @@ NAME="Debian #OSNAME#" VERSION_ID="9" VERSION="9 (stretch)" +VERSION_CODENAME=stretch ID=debian HOME_URL="https://www.debian.org/"; SUPPORT_URL="https://www.debian.org/support";
