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.
