Re: [Monetdb-developers] Experiences with the new setup