Merge pull request #1112 from jgb/master

update jedi to v0.19.0
This commit is contained in:
Dave Halter
2023-07-31 22:39:54 +00:00
committed by GitHub