Hi I guess we're ready to issue the final 4.2 release; otherwise, what's left to be done ? I'd like to build this final release as soon as all tags are entered. -- thierry