mirror of
https://github.com/davidhalter/jedi.git
synced 2026-05-25 17:58:35 +08:00
Merge the master branch into the dev branch.
This commit is contained in:
@@ -30,5 +30,6 @@ ppalucky (@ppalucky)
|
||||
immerrr (@immerrr) immerrr@gmail.com
|
||||
Albertas Agejevas (@alga)
|
||||
Savor d'Isavano (@KenetJervet) <newelevenken@163.com>
|
||||
Phillip Berndt (@phillipberndt) <phillip.berndt@gmail.com>
|
||||
|
||||
Note: (@user) means a github user name.
|
||||
|
||||
Reference in New Issue
Block a user