Cursor.close() leaks server-side handle for async commands that were never fetched (#791)#873
Open
peco-engineer-bot[bot] wants to merge 2 commits into
Open
Cursor.close() leaks server-side handle for async commands that were never fetched (#791)#873peco-engineer-bot[bot] wants to merge 2 commits into
peco-engineer-bot[bot] wants to merge 2 commits into
Commits
Commits on Jul 17, 2026
- committed
peco-engineer-bot[bot] - committed
![peco-engineer-bot[bot]](https://avatars.githubusercontent.com/in/3815206?v=4&size=32){kind=avatar}