Merge ktexteditor (5.51.0-3) import into refs/heads/workingbranch
authorPino Toscano <pino@debian.org>
Wed, 26 Dec 2018 16:31:20 +0000 (16:31 +0000)
committerPino Toscano <pino@debian.org>
Wed, 26 Dec 2018 16:31:20 +0000 (16:31 +0000)

Trivial merge