Git commit 9a103eaa640ce5217968948e03c9ecfb2868ad0e by Neon CI. Committed on 09/12/2020 at 10:38. Pushed by neon-jenkins into branch 'Neon/unstable'. Merging Neon/stable into Neon/unstable. https://invent.kde.org/neon/extras/kdevelop/commit/9a103eaa640ce5217968948e03c9ecfb2868ad0e