mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-23 19:37:05 +08:00
Add micbou to AUTHORS
This commit is contained in:
1 parent
73d0506fb0
commit
49235f8910
1 file changed
+1
@@ -49,5 +49,6 @@ Malte Plath (@langsamer)
|
||||
Anton Zub (@zabulazza)
|
||||
Maksim Novikov (@m-novikov) <mnovikov.work@gmail.com>
|
||||
Tobias Rzepka (@TobiasRzepka)
|
||||
micbou (@micbou)
|
||||
|
||||
Note: (@user) means a github user name.
|
||||
Reference in new issue
Block a user