On Wednesday March 22 2017 18:09:29 René J.V. Bertin wrote: >It sounds like a bug but I'm running with a bit too many of my own patches to file a bug report without checking. Bug indeed but not in KDevelop. False alarm, sorry for the noise. R.