Re: [Monetdb-developers] [Monetdb-checkins] MonetDB5/src/modules/mal partitions.mx, 1.40, 1.40.2.1 pbm.mx, 1.25, 1.25.2.1 pcre.mx, 1.43, 1.43.2.1 sabaoth.mx, 1.8, 1.8.2.1 statistics.mx, 1.43, 1.43.2.1