Skip to content

Fix entity renaming not working with formatted names (#2)#7

Merged
Kalbskinder merged 1 commit intomasterfrom
symbolsDisplay
Mar 6, 2026
Merged

Fix entity renaming not working with formatted names (#2)#7
Kalbskinder merged 1 commit intomasterfrom
symbolsDisplay

Conversation

@Kalbskinder
Copy link
Copy Markdown
Owner

No description provided.

@Kalbskinder Kalbskinder merged commit e0d7701 into master Mar 6, 2026
2 checks passed
@Kalbskinder Kalbskinder deleted the symbolsDisplay branch March 6, 2026 19:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant