<div dir="ltr">Hi Otto,<br><div class="gmail_extra"><br><div class="gmail_quote">On Fri, May 11, 2018 at 9:53 AM, Andy Li <span dir="ltr"><<a href="mailto:andy@onthewings.net" target="_blank">andy@onthewings.net</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><span class="gmail-m_1397115897220216951gmail-"><span class="gmail-">
> On 10/05/18 20:24, Otto Kekäläinen wrote:<br></span><span class="gmail-">
>> MariaDB 10.3 needs to be finalized and imported into Debian. After<br>
>> that all the mess that are a fallout of a misfortunate upload of<br>
>> mariadb-10.2 to Debian unstable will start to become resolved. <br></span></span></blockquote><div><br class="gmail-m_1397115897220216951gmail-Apple-interchange-newline"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">What do you mean by finalized? Are we waiting upstream for something? </span></div></div>If it will still take an unknown number of months to stabilize, using an epoch as suggested by Emilio seems to be a good immediate solution.</div><div class="gmail_extra"></div></div></blockquote></div><br></div><div class="gmail_extra">I'm sure you have been busy, but this issue has been there unfixed for several months.</div><div class="gmail_extra">I would appreciate if you can spend a few minutes to answer our questions.</div><div class="gmail_extra">If you lack the time to maintain the package, would you let the Debian MySQL Maintainers team temporally handle it?</div><div class="gmail_extra"><br></div><div class="gmail_extra">Best regards,</div><div class="gmail_extra">Andy</div></div>