Re: [MonetDB-users] How to declare a bug ?