Upgrade Jedi to 0.13.0 #2667
Description
To fix issues like #140.
We should also see if we can't get Jedi to be installed like ptvsd and thus remove it from the repository.
{{ message }}
To fix issues like #140.
We should also see if we can't get Jedi to be installed like ptvsd and thus remove it from the repository.
