[konsole] [Bug 402864] extra pixel on top of tabs

Thomas Monjalon bugzilla_noreply at kde.org
Fri Jan 4 16:57:24 GMT 2019


--- Comment #2 from Thomas Monjalon <thomas at monjalon.net> ---
The bug was already open and it seems already fixed!
Impressed :-)
Thanks for the hard work KDE team, and happy New year

You are receiving this mail because:
You are the assignee for the bug.

More information about the konsole-devel mailing list