[MariaDB developers] Re: 217a7a7ceff: online alter: rework savepoints