Re: [Monetdb-developers] New stable branch created