Merge pull request #1106 from jgb/master

update jedi to v0.18.2
This commit is contained in:
Dave Halter
2023-04-11 15:55:50 +00:00
committed by GitHub