Leu: great, thanks. The fix is in 3.3.1-1ubuntu3 uploaded by Stephan Hermann today, so, when you'll be able to do an apt update, you should uninstall the snapshot with: $ sudo make uninstall
Thanks for the feedback :)
Leu: great, thanks. The fix is in 3.3.1-1ubuntu3 uploaded by Stephan Hermann today, so, when you'll be able to do an apt update, you should uninstall the snapshot with:
$ sudo make uninstall
Thanks for the feedback :)