1. 2018-02-08 Re: plasma-desktop-5.12.0 bug report kde-panel David Binderman 2. 2018-02-08 Re: plasma-desktop-5.12.0 bug report kde-panel Marco Martin 3. 2018-02-08 Re: plasma-desktop-5.12.0 bug report kde-panel Nate Graham 4. 2018-02-08 plasma-desktop-5.12.0 bug report kde-panel David Binderman