diff options
| author | Mike Miller <mtmiller@users.noreply.github.com> | 2018-10-11 12:10:32 -0700 |
|---|---|---|
| committer | Claudiu Popa <pcmanticore@gmail.com> | 2018-10-11 22:10:31 +0300 |
| commit | 9734baebfa3faf90e41f6ae41f80c379953fa56b (patch) | |
| tree | 2d67976e83e49bfddf34e192d7735ffba9c6b0ff /CONTRIBUTORS.txt | |
| parent | 0a39200932a9143082255e600ff5a7e764520ce8 (diff) | |
| download | pylint-git-9734baebfa3faf90e41f6ae41f80c379953fa56b.tar.gz | |
Fix typo in msg description (#2548)
Diffstat (limited to 'CONTRIBUTORS.txt')
| -rw-r--r-- | CONTRIBUTORS.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/CONTRIBUTORS.txt b/CONTRIBUTORS.txt index 5d08fd307..9f71b8fe6 100644 --- a/CONTRIBUTORS.txt +++ b/CONTRIBUTORS.txt @@ -245,3 +245,5 @@ contributors: * Michael Hudson-Doyle * Lucas Cimon: contributor + +* Mike Miller: contributor |