I only can reproduce the problem on Ubuntu 13.10, not on Ubuntu 12.04. It only has us been reported against Ubuntu 13.10, not against previous versions, though the code has not changed there for a long time. I guess, there is something specific in Ubuntu 13.10 which may not be reproducible on other systems.
I only can reproduce the problem on Ubuntu 13.10, not on Ubuntu 12.04. It only has us been reported against Ubuntu 13.10, not against previous versions, though the code has not changed there for a long time. I guess, there is something specific in Ubuntu 13.10 which may not be reproducible on other systems.