pylsp: Update mypy plugin name

zed-industries / zed

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

https://zed.dev

Other

50.45k stars 3.12k forks source link

Closed osiewicz closed 8 hours ago

osiewicz commented 9 hours ago

Follow-up to #21025

Release Notes:

osiewicz commented 9 hours ago

/cherry-pick v0.163.x

osiewicz commented 9 hours ago

/cherry-pick v0.162.x

osiewicz commented 8 hours ago

/cherry-pick v0.163.x

osiewicz commented 8 hours ago

/cherry-pick v0.162.x