Sorry I haven't been aware of this, and the commit was the
last thing I did
before going into a 2-day holiday.
greetings, David
_______________________________________________
KDevelop-devel mailing list
KDevelop-develkdevelop.org
https://barney.cs.uni-potsdam.de/mailman/listinf
o/kdevelop-devel