[MariaDB discuss] Re: Redo log and tablespace flushing