[Monetdb-developers] New Oct2012 stable branch created