Re: [Monetdb-developers] [MonetDB-users] New MonetDB Release