Ubuntu
mysql-5.7 package

  1. Bug #1658233
  2. Comment #4

Comment 4 for bug 1658233

Revision history for this message
Christian Ehrhardt  (paelzer) wrote :

Thank you Simon and Kees,
I personally would not want it allowed in my base profile - but I'll leave that for the other bug to decide.
We certainly can consider adding it to mysql together with the others.

I feel relieved that the impact seems low, but OTOH that means it likely boils down to a community effort.
So if one wants to provide a debdiff to be reviewed and integrated, please go for it.