Re: [Monetdb-developers] Reporting a bug