Re: [Monetdb-developers] [Monetdb-checkins] MonetDB5/src/mal mal_client.mx, 1.139, 1.140 mal_session.mx, 1.129, 1.130