Merge pull request #16542 from JGaunt/patch-3
authorMatthew Wire <mjw@mjwconsult.co.uk>
Fri, 14 Feb 2020 19:18:02 +0000 (19:18 +0000)
committerGitHub <noreply@github.com>
Fri, 14 Feb 2020 19:18:02 +0000 (19:18 +0000)
commita7f36b2caaef6669e910f4780f12f20d808f20cb
tree63ef049d17802a5b9a9a080266ef1e8df9ad1e64
parent52f3fe4a0f0822cefada1f656baa0ba30b7c2fa8
parentf7358c070c9bde67b639f8f067b6150ec741c302
Merge pull request #16542 from JGaunt/patch-3

Update CONTRIBUTORS.txt