Ubuntu
kile package

  1. Bug #380860
  2. Comment #13

Comment 13 for bug 380860

Revision history for this message
ntmikey (loppo) wrote :

Hope they fix it soon.

A workaround would be very helpful until the fix makes its way...