Re: [Monetdb-developers] conf.bash