<div dir="ltr">Control: owner !<div><br></div><div>Hi,</div><div><br></div><div>1) Seems like a nice bug to get more familiar with several aspects of packaging. I'll give it a go, but I'll need some time to go through some documentation and tutorials, before starting to work on this one.<br></div><div><br></div><div>2) I assume the mariadb-server-10.0.postinst script has to take care of all different cases :<br></div><div><br></div><div>- no previous install of mariadb, or feedback plugin wasn't enabled before -> 50-feedback.conf should be created</div><div>- feedback plugin was enabled before, but is disabled with debconf -> remove 50-feedback.conf file</div><div>- feedback plugin was enabled before, and is enabled with debconf -> do nothing (or delete and recreate the 50-feedback.conf file just to be sure)<br><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature">Kind regards,<br><br>Dieter Adriaenssens</div>
</div></div>