Re: [Monetdb-developers] [Monetdb-checkins] MonetDB/src/testing Mtest.py.in, , 1.307, 1.308