Skip to content

Conversation

@davelopez
Copy link
Collaborator

No description provided.

@davelopez davelopez added language server Related to the language server dependencies Pull requests that update a dependency file labels Jul 21, 2025
@davelopez davelopez merged commit 6f9b795 into main Jul 21, 2025
10 checks passed
@davelopez davelopez deleted the update_server_dependencies branch July 21, 2025 08:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file language server Related to the language server

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants