Re: [MonetDB-users] how to set see mserver5 config