Re: [Maria-discuss] MariaDB 10.1.4 Progress output