From kde-commits  Thu Aug 30 22:52:03 2018
From: Kevin Funk <null () kde ! org>
Date: Thu, 30 Aug 2018 22:52:03 +0000
To: kde-commits
Subject: [kdevelop] /: Merge remote-tracking branch 'origin/5.3'
Message-Id: <E1fvVnH-00013Y-6y () code ! kde ! org>
X-MARC-Message: https://marc.info/?l=kde-commits&m=153566953405071

Git commit 674b9fedb0c022cb70014c40e9d447d5d727a5a3 by Kevin Funk.
Committed on 30/08/2018 at 22:51.
Pushed by kfunk into branch 'master'.

Merge remote-tracking branch 'origin/5.3'


https://commits.kde.org/kdevelop/674b9fedb0c022cb70014c40e9d447d5d727a5a3