I can confirm that: 1) the bug is still present in latest Ubuntu 14.10 2) the binary found in Felipe's PPA does fix the problem
Many thanks to Felipe ! Hope this will find it's way upstream...
I can confirm that:
1) the bug is still present in latest Ubuntu 14.10
2) the binary found in Felipe's PPA does fix the problem
Many thanks to Felipe ! Hope this will find it's way upstream...