mirror of
https://github.com/davidhalter/jedi.git
synced 2026-11-04 20:02:52 +08:00
Fix: record was not saved
This commit is contained in:
1 parent
cee0d4cf2f
commit
fd0ec772fb
1 file changed
+2
-1
Reference in new issue
Block a user