
<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Santiago,<div class=""><br class=""></div><div class="">That is correct. Changing 'VERSION_ID=10' to 'VERSION_ID=10.1' in /etc/os-release is what I am asking.</div><div class=""><br class=""><div class="">

<div style="color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div style="color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div style="color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div style="color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class="">---</div><div class=""><br class=""></div><div class="">Respectfully,</div><div class=""><br class=""></div><div class="">Sam Doran</div><div class=""><br class=""></div><div class=""></div></div></div></div></div>

</div>

<div><br class=""><blockquote type="cite" class=""><div class="">On Nov 8, 2019, at 06:16, Santiago Vila <<a href="mailto:sanvila@unex.es" class="">sanvila@unex.es</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div class="">Hi.<br class=""><br class="">Just to be sure: The proposed change would be *just* the VERSION_ID in<br class="">/etc/os-release, which at this moment would become "10.1" instead of "10".<br class="">Is this right?<br class=""><br class="">I ask because we have a problem in lsb-release:<br class=""><br class=""><a href="https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=939733" class="">https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=939733</a><br class=""><br class="">and changing /etc/os-release would be one possible way to fix the<br class="">problem in lsb-release.<br class=""><br class="">I'm also Cc:ing the lsb-maintainers at bug #939733.<br class=""><br class="">After this is clarified, I'll ask release managers about their opinion.<br class=""><br class="">Thanks.<br class=""></div></div></blockquote></div><br class=""></div></body></html>