diff options
| author | Julien Palard <julien@palard.fr> | 2020-11-21 11:16:52 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-21 11:16:52 +0100 |
| commit | 9b7fbc3a1695a0eb26cdf3d9e7a0c0bdf6d9f2ed (patch) | |
| tree | 784b663a9c4f2d5c699c0551cd33d8fd99a9834f /CONTRIBUTORS.txt | |
| parent | 72b3caad0181bf97747bea5ca8356287651a9a6c (diff) | |
| parent | 9a5e1b349fd2521ef8eedaf92b16785c895aaefa (diff) | |
| download | pylint-git-9b7fbc3a1695a0eb26cdf3d9e7a0c0bdf6d9f2ed.tar.gz | |
Merge branch 'master' into issue3882
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 e4cd248f4..2c0e6aa99 100644 --- a/CONTRIBUTORS.txt +++ b/CONTRIBUTORS.txt @@ -429,3 +429,5 @@ contributors: * Joffrey Mander: contributor * Julien Palard: contributor + +* Raphael Gaschignard: contributor |