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"
