Re: [Monetdb-developers] [Monetdb-checkins] MonetDB/src/gdk gdk.mx, , 1.234, 1.235 gdk_value.mx, , 1.37, 1.38