Merge pull request #635 from blueyed/update-jedi

Update jedi submodule to current master
This commit is contained in:
Dave Halter
2016-11-16 18:02:45 +01:00
committed by GitHub

2
jedi

Submodule jedi updated: 995a653122...2ba78ab725