mirror of
https://github.com/davidhalter/jedi.git
synced 2026-04-26 11:30:24 +08:00
57e7b83455
I suspect this got lost in a merge somewhere, probably the combination of7e533ca7e1and the Python 3.12 work ina60fdba1d4.