Santiago, That is correct. Changing 'VERSION_ID=10' to 'VERSION_ID=10.1' in /etc/os-release is what I am asking.
--- Respectfully, Sam Doran > On Nov 8, 2019, at 06:16, Santiago Vila <sanv...@unex.es> wrote: > > 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.
