Merge pull request #5498 from ligurio/patch-1
authorBernhard Miklautz <bmiklautz@users.noreply.github.com>
Mon, 29 Jul 2019 08:07:13 +0000 (10:07 +0200)
committerGitHub <noreply@github.com>
Mon, 29 Jul 2019 08:07:13 +0000 (10:07 +0200)
Typo: neigter -> neither


Trivial merge