Skip to content

chore: switch to version 2.3.10 post release#2910

Open
giacomocusinato wants to merge 1 commit into
mainfrom
use-ide-2.3.10
Open

chore: switch to version 2.3.10 post release#2910
giacomocusinato wants to merge 1 commit into
mainfrom
use-ide-2.3.10

Conversation

@giacomocusinato
Copy link
Copy Markdown
Collaborator

Motivation

Change description

Other information

Reviewer checklist

  • PR addresses a single concern.
  • The PR has no duplicates (please search among the Pull Requests before creating one)
  • PR title and description are properly filled.
  • Docs have been added / updated (for bug fixes / features)

@per1234 per1234 added type: enhancement Proposed improvement topic: infrastructure Related to project infrastructure topic: code Related to content of the project itself labels May 27, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

topic: code Related to content of the project itself topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants