Re: [Monetdb-developers] [Monetdb-checkins] MonetDB/src/testing Makefile.ag, , 1.20, 1.21 Mtest.py.in, , 1.300, 1.301