Ubuntu
kile package

  1. Bug #432931
  2. Comment #5

Comment 5 for bug 432931

Revision history for this message
Juerg Wullschleger (juerg-wulli) wrote :

Thanks.

I tried again today, and i could not reproduce the crashes today. I don't know why.

(trying to get a work-around, i found another small bug (484277), it might be related, but I don't think it is the same bug.)