Good day, everyone!

Small inquiry here:

Simply put, bz 17234 made an effort to remove the ALTER IGNORE from updatedatabase.pl so that it could work with Mysql 5.7.  But playing with the master today, I got many errors related to it

• 12395 - 18.06.00.005
• 19524 - 18.06.00.006
• 13560 - 18.06.00.008

Was there a change of policy regarding that, or is this something a bug should be opened or reopened about?  Right now it kills our community development effort.  Later on, it'll be our customers maintenance and I'll start to plan right now.

Thanks!