Ubuntu
kile package

  1. Bug #994498
  2. Comment #14

Comment 14 for bug 994498

Revision history for this message
In , Michel Ludwig (michel-ludwig) wrote :

Thanks for the patch! I've committed it now

http://commits.kde.org/kile/fd907d27dbced726d794bf24b887041eea9fbcab

(unfortunately with the wrong bug number)

As I cannot reproduce the crash here, please close this bug if it is fixed for you now.