[Maria-discuss] MariaDB 10.1 uses huge amount of memory onWndows