mirror of
https://github.com/davidhalter/jedi.git
synced 2026-06-19 13:02:10 +08:00
57e7b83455
I suspect this got lost in a merge somewhere, probably the combination of7e533ca7e1and the Python 3.12 work ina60fdba1d4.