Re: [Monetdb-developers] Bug in MonetDBv4.10.2