Hello Alexandre, Bugs #931617 and #940036 are quite annoying. Both of them have very simple fixes. Can I make an upload for the next point release to fix them?
Thanks. -- When you are about to die, a wombat is better than no company at all. -- Roger Zelazny, "Doorways in the Sand"