Merge pull request #6695 from tobiasd/20190219-doc
authorMichael Vogel <icarus@dabo.de>
Tue, 19 Feb 2019 05:54:52 +0000 (06:54 +0100)
committerGitHub <noreply@github.com>
Tue, 19 Feb 2019 05:54:52 +0000 (06:54 +0100)
added forgotten line break


Trivial merge