summaryrefslogtreecommitdiff
path: root/CONTRIBUTORS.txt
diff options
context:
space:
mode:
authorhippo91 <guillaume.peillex@gmail.com>2020-10-03 16:09:07 +0200
committerGitHub <noreply@github.com>2020-10-03 16:09:07 +0200
commit7514d249dd9777946b6b6793548c86271841a5ac (patch)
tree3ab077b4270eaabb02055f52172df4ffaf0953d1 /CONTRIBUTORS.txt
parent9704187fa1563862cffa99ff386c6fd8c9dbcf7a (diff)
parent548b38e0508cf58ee9c2fb2e92c0fbb78a1774ef (diff)
downloadpylint-git-7514d249dd9777946b6b6793548c86271841a5ac.tar.gz
Merge branch 'master' into docfix
Diffstat (limited to 'CONTRIBUTORS.txt')
-rw-r--r--CONTRIBUTORS.txt2
1 files changed, 2 insertions, 0 deletions
diff --git a/CONTRIBUTORS.txt b/CONTRIBUTORS.txt
index a8e0b5257..d27e0cbb6 100644
--- a/CONTRIBUTORS.txt
+++ b/CONTRIBUTORS.txt
@@ -412,4 +412,6 @@ contributors:
* David Cain: contributor
+* Or Bahari
+
* Joshua Cannon: contributor