Re: [Monetdb-developers] [Monetdb-checkins] MonetDB/src/modules/plain/Tests bat.py, NONE, 1.1.2.1 bat2.py.src, NONE, 1.1.2.1