https://bugs.kde.org/show_bug.cgi?id=384633
--- Comment #8 from Julian Seward <jsew...@acm.org> --- Ivo, thanks for the fix. Yes, if you are happy with it, please do push it. -- You are receiving this mail because: You are watching all bug changes.
https://bugs.kde.org/show_bug.cgi?id=384633
--- Comment #8 from Julian Seward <jsew...@acm.org> --- Ivo, thanks for the fix. Yes, if you are happy with it, please do push it. -- You are receiving this mail because: You are watching all bug changes.