base-files (9.9+deb9u13) stretch; urgency=medium * Change /etc/debian_version to 9.13, for Debian 9.13 point release. -- Santiago Vila <email address hidden> Fri, 10 Jul 2020 23:05:00 +0200