Is there something broken in Ubuntu's update process that a PPA had to be created (many thanks for that Pritam!) for this? I've just tried a fresh 13.10, it still has this problem, despite "Fix released". So what does "Fix released" mean? Released for the next version of Ubuntu? Would I have gotten the fix if I'd turned on "Proposed"?
So yeah - thanks again for the PPA. At least that works.
Is there something broken in Ubuntu's update process that a PPA had to be created (many thanks for that Pritam!) for this? I've just tried a fresh 13.10, it still has this problem, despite "Fix released". So what does "Fix released" mean? Released for the next version of Ubuntu? Would I have gotten the fix if I'd turned on "Proposed"?
So yeah - thanks again for the PPA. At least that works.