Re: [Monetdb-developers] check-ins