[Monetdb-developers] stable branch