Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

prepare for 4.11.0 release #81

Open
wants to merge 5 commits into
base: master
Choose a base branch
from
Open

prepare for 4.11.0 release #81

wants to merge 5 commits into from

Commits on Sep 9, 2022

  1. prepare for 4.11.0 release

    @daniellansun
    daniellansun committed Sep 9, 2022
    Configuration menu
    Copy the full SHA
    98f668e View commit details
    Browse the repository at this point in the history

  2. Remove unused variable from generated code

    @jcking @daniellansun
    jcking authored and daniellansun committed Sep 9, 2022
    Configuration menu
    Copy the full SHA
    697b1c1 View commit details
    Browse the repository at this point in the history

  3. Fixing bug identified by antlr/antlr4#3712 (#3726) 

    Signed-off-by: Terence Parr <[email protected]>
(cherry picked from commit 1a56291)
    @parrt @daniellansun
    parrt authored and daniellansun committed Sep 9, 2022
    Configuration menu
    Copy the full SHA
    be2483c View commit details
    Browse the repository at this point in the history

  4. Ensure that only the tokens needed are fetched

    @TristonianJones @daniellansun
    TristonianJones authored and daniellansun committed Sep 9, 2022
    Configuration menu
    Copy the full SHA
    42515f9 View commit details
    Browse the repository at this point in the history

  5. release 4.11.0

    @daniellansun
    daniellansun committed Sep 9, 2022
    Configuration menu
    Copy the full SHA
    abe3e71 View commit details
    Browse the repository at this point in the history