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

Please, people, note that this fight has flooded a lot of people's mailboxes with non-technical or out-of-topic mails. If the thread continues, this could be a problem for some of us. Regards Federico