Skip to content

Fix bug in grammar.ne where definition for primitiveDestination was missing - #3302

Merged
AndreasArvidsson merged 1 commit into
mainfrom
grammarDestination
Aug 23, 2026
Merged

Fix bug in grammar.ne where definition for primitiveDestination was missing#3302
AndreasArvidsson merged 1 commit into
mainfrom
grammarDestination

Fix bug in grammar.ne where definition for `primitiveDestination` was…

91b6b2d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar