Merge pull request #5703 from akallabeth/reformat
authorBernhard Miklautz <bmiklautz@users.noreply.github.com>
Thu, 7 Nov 2019 11:13:19 +0000 (12:13 +0100)
committerGitHub <noreply@github.com>
Thu, 7 Nov 2019 11:13:19 +0000 (12:13 +0100)
Reformatted to new style


Trivial merge