Re: [Monetdb-developers] New Jun2012 stable branch created