[konsole] [Bug 360072] Option "manage profiles" doesn't work, doesn't do anything

[Eike Hein]

https://bugs.kde.org/show_bug.cgi?id=360072

Eike Hein <hein at kde.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dev.dorrejo at gmail.com

--- Comment #11 from Eike Hein <hein at kde.org> ---
*** Bug 380212 has been marked as a duplicate of this bug. ***

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