From kde-commits Tue May 22 16:52:43 2018 From: Pino Toscano Date: Tue, 22 May 2018 16:52:43 +0000 To: kde-commits Subject: [kexi] /: Merge remote-tracking branch 'origin/3.1' Message-Id: X-MARC-Message: https://marc.info/?l=kde-commits&m=152700798431627 Git commit 4df84818d4d61c9f09da770b5f8e68ce770b9d78 by Pino Toscano. Committed on 22/05/2018 at 16:52. Pushed by pino into branch 'master'. Merge remote-tracking branch 'origin/3.1' https://commits.kde.org/kexi/4df84818d4d61c9f09da770b5f8e68ce770b9d78