Bug#939733: Bug#931197: base-files: Include minor version in /etc/os-release

[Santiago Vila]

Hi.

Just to be sure: The proposed change would be *just* the VERSION_ID in
/etc/os-release, which at this moment would become "10.1" instead of "10".
Is this right?

I ask because we have a problem in lsb-release:

https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=939733

and changing /etc/os-release would be one possible way to fix the
problem in lsb-release.

I'm also Cc:ing the lsb-maintainers at bug #939733.

After this is clarified, I'll ask release managers about their opinion.

Thanks.