Skip to content

Conversation

@idshibanov
Copy link
Collaborator

@idshibanov idshibanov commented Dec 20, 2025

Relates to #10340 .

@idshibanov idshibanov added the editor Map editor related stuff label Dec 20, 2025
@ihhub ihhub added this to the 1.2.0 milestone Dec 20, 2025
Copy link
Contributor

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

⚠️ Clang-Tidy found issue(s) with the introduced code (1/1)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

editor Map editor related stuff

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants