(Just a note that this bug is not present in upstream trunk.) If anyone wants to upload a patch to the Ubuntu package, the correct location is now Edit -> Library Manager.
-- first use dialog says I should use "Tools :: Library Manager" which doesnt exist https://bugs.launchpad.net/bugs/221109 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
