Closed daniellansun closed 4 years ago
Hi @sharwell, is it OK to merge the PR into your optimized fork?
@danielsun1106 Typically updates to this fork are make in batches to ensure all relevant changes are accounted for. This particular change doesn't impact the correctness of the library so I don't think we need to service it out-of-band.
Merge the following commit into the highly-optimized fork:
https://github.com/antlr/antlr4/commit/dda171b1183b5a6126f375f3fb1a33f32100201d