[Monetdb-developers] closing the stable branch