Re: [Maria-developers] How to report progress for InnoDB background tasks (esp. at startup/shutdown)?