Re: [Monetdb-developers] Reminder: MonetDB Bug-Etiquette