Re: [Monetdb-developers] other than bug things...