Re: plasma-desktop-5.12.0 bug report

2018-02-09 Thread David Binderman
Hello there, >however, please consider to use bugzilla at bugs.kde.orgproduct: plasmashell Done. https://bugs.kde.org/show_bug.cgi?id=390087 Regards David Binderman On giovedì 8 febbraio 2018 10:07:23 CET David Binderman wrote: > Hello there, > > > > plasma-

Re: plasma-desktop-5.12.0 bug report

2018-02-08 Thread Marco Martin
Hi, thanks for the report! however, please consider to use bugzilla at bugs.kde.org product: plasmashell On giovedì 8 febbraio 2018 10:07:23 CET David Binderman wrote: > Hello there, > > > > plasma-desktop-5.12.0/kcms/kfontinst/lib/Misc.cpp:294]: (style) Same > expression on both sides of '||'.

Re: plasma-desktop-5.12.0 bug report

2018-02-08 Thread Nate Graham
Hi David, Thanks for the report! In KDE, we typically track these kinds of issues with bugzilla tickets, so I would recommend that you file one for it. Here is the documentation for that: https://community.kde.org/Get_Involved#Bug_Reporting If you would like to submit a patch for the issue, P