Control: owner ! Hi,
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. 2) I assume the mariadb-server-10.0.postinst script has to take care of all different cases : - no previous install of mariadb, or feedback plugin wasn't enabled before -> 50-feedback.conf should be created - feedback plugin was enabled before, but is disabled with debconf -> remove 50-feedback.conf file - 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) -- Kind regards, Dieter Adriaenssens
