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.

Reply via email to