Re: [Monetdb-developers] Release is done