https://bugs.kde.org/show_bug.cgi?id=403804
--- Comment #3 from Michel Ludwig <michel.lud...@kdemail.net> --- True, Debian stretch has Kile 2.1.3 - use that - it's six years old, very stable. -- You are receiving this mail because: You are watching all bug changes.