Merge pull request #1462 from tribut/fix-typo-elided
authorRoeland Jago Douma <rullzer@users.noreply.github.com>
Tue, 1 Oct 2019 10:02:36 +0000 (12:02 +0200)
committerGitHub <noreply@github.com>
Tue, 1 Oct 2019 10:02:36 +0000 (12:02 +0200)
Fix typo


Trivial merge