Merge pull request #5637 from polluks/patch-1
authorMichael R Sweet <michael.r.sweet@gmail.com>
Fri, 23 Aug 2019 12:26:05 +0000 (08:26 -0400)
committerGitHub <noreply@github.com>
Fri, 23 Aug 2019 12:26:05 +0000 (08:26 -0400)
Fixed typos


Trivial merge