What would be the upstream bug tracker for <https://bugs.launchpad.net/ubuntu/+source/kwin/+bug/1440210>? More specifically, is it better to report to Debian or directly to KDE?