ANTLR 4.7.1?

[michaelpj]

The last release was in March. There hasn't been a huge amount of stuff since then, but there have been quite a lot of bugfixes (including #1969 in particular which I'm interested in). Perhaps it's time for a 4.7.1 release?

[davesisson]

Work is moving in that direction.

…

On Thu, Nov 9, 2017 at 2:26 AM Michael Peyton Jones < ***@***.***> wrote: The last release was in March. There hasn't been a *huge* amount of stuff since then, but there have been quite a lot of bugfixes (including #1969 <#1969> in particular which I'm interested in). Perhaps it's time for a 4.7.1 release? — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#2109>, or mute the thread <https://github.com/notifications/unsubscribe-auth/ALUC_W2a_uN0iRCm1NPREcxeR0pvnq_Dks5s0tNPgaJpZM4QXvhx> .