Skip to content

Improve handling of reserved ids - #39

Merged
VeaaC merged 3 commits into
mainfrom
nested-std-2.15
Aug 10, 2026
Merged

Improve handling of reserved ids#39
VeaaC merged 3 commits into
mainfrom
nested-std-2.15

Conversation

@VeaaC

@VeaaC VeaaC commented Aug 9, 2026

Copy link
Copy Markdown
Owner

No description provided.

@VeaaC VeaaC changed the title Nested std 2.15 Reserve 'std' name as well Aug 9, 2026
@VeaaC VeaaC changed the title Reserve 'std' name as well Reserver additional identifers Aug 9, 2026
@VeaaC
VeaaC force-pushed the nested-std-2.15 branch 2 times, most recently from ed55e12 to 425b68f Compare August 10, 2026 06:46
@VeaaC VeaaC changed the title Reserver additional identifers Reserve additional identifers Aug 10, 2026
@VeaaC VeaaC changed the title Reserve additional identifers Improve handling of reserved ids Aug 10, 2026
@VeaaC
VeaaC merged commit 2dd8cf9 into main Aug 10, 2026
9 checks passed
@VeaaC
VeaaC deleted the nested-std-2.15 branch August 10, 2026 19:57
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