Skip to content

Allow undefined symbol names#472

Merged
EricRahm merged 2 commits intogoogle:mainfrom
EricRahm:fix-217
Dec 11, 2025
Merged

Allow undefined symbol names#472
EricRahm merged 2 commits intogoogle:mainfrom
EricRahm:fix-217

Commits

Commits on Dec 11, 2025