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