Skip to content

Ensure that only the tokens needed are fetched#3722

Merged
parrt merged 1 commit intoantlr:devfrom TristonianJones:token-stream-optimizationMay 27, 2022

Commits

Commits on May 18, 2022