Re: [Monetdb-developers] */NT/configure.py.bat