From 85577251dded603a51a6b3653d81039ce8239987 2017-02-04 11:24:55 From: Thomas Kluyver Date: 2017-02-04 11:24:55 Subject: [PATCH] Merge pull request #10245 from Carreau/fix-jedi-version Requires jedi >0.10 as it is now out. --- diff --git a/setup.py b/setup.py index 163707d..b3b4b39 100755 --- a/setup.py +++ b/setup.py @@ -201,7 +201,7 @@ extras_require = dict( install_requires = [ 'setuptools>=18.5', - 'jedi', + 'jedi>=0.10', 'typing', 'decorator', 'pickleshare',