Re: [Monetdb-developers] [Monetdb-checkins] MonetDB4/src/modules/plain aggr.mx, , 1.12, 1.13 ascii_io.mx, , 1.34, 1.35 bat.mx, , 1.37, 1.38 mkey.mx, , 1.17, 1.18 radix.mx, , 1.11, 1.12 xtables.mx, , 1.22, 1.23