Merge pull request #1115 from jgb/master

update jedi to v0.19.1
This commit is contained in:
Dave Halter authored and GitHub committed 2023-10-09 17:19:17 +00:00
commit b82da7d2b5
1 file changed
+1 -1