Closed kaby76 closed 1 year ago
Can you open a PR bumping the version, pls?
Closing. There is now a 4.13.1 release. The fix involves:
1) making a change in the source code 2) publishing a release here
I am not the right person to make a release in this process (nor did I know what is required to be changed for the release). In the targets umbrellaed within the antlr4 repo, the admin (Parr) bumps the version number in the code (here and here), and publishes the release (also which I have no idea how to do).
We need a PHP Antlr 4.13.0 runtime published. See also https://github.com/antlr/antlr-php-runtime/issues/39.