Hi all, It seems that now is a good time to release 3.1.2. Several smaller bugfixes to the Pharo/Squeak master and important fixes to the gemstone branch have been made. Any objections? Johan