Re: [Maria-discuss] Reason for changing the thread_pool_size default value?