From kde-commits  Mon Sep 24 11:46:05 2018
From: Kevin Funk <null () kde ! org>
Date: Mon, 24 Sep 2018 11:46:05 +0000
To: kde-commits
Subject: [kdevelop] /: Merge remote-tracking branch 'origin/5.3'
Message-Id: <E1g4PJV-0006cO-S8 () code ! kde ! org>
X-MARC-Message: https://marc.info/?l=kde-commits&m=153779252701687

Git commit ca6d8087a999de5a3aa93de08421c42da40c89e3 by Kevin Funk.
Committed on 24/09/2018 at 11:45.
Pushed by kfunk into branch 'master'.

Merge remote-tracking branch 'origin/5.3'


https://commits.kde.org/kdevelop/ca6d8087a999de5a3aa93de08421c42da40c89e3