Ubuntu
kile package

  1. Bug #994498
  2. Comment #17

Comment 17 for bug 994498

Revision history for this message
Alessandro Menti (elgaton) wrote :

I have published a temporary package in my PPA, in case anyone wants to run a bug-free version until the patch is officially merged in the Ubuntu repositories:
https://launchpad.net/~alessandro-menti/+archive/patch-testing/+packages

(Please note that the package will be removed from my PPA as soon as the official update is produced).