[Monetdb-developers] bug fix release preparation

Tomorrow I want to build the December bug fix release. So please no more checkins on the Stable branch, unless you have my express permission. -- Sjoerd Mullender