Then let's fix this in trunk, given the fact that we've released several
versions of the engine (1.0.0 - 1.0.18) until now with antlr embedded.

Thanks,
Radu

On Mon, 27 Feb 2017 at 17:05 Karl Pauls <karlpa...@gmail.com> wrote:

> That said, if you fix it in trunk and get the majority of the votes I
> suppose it isn't the end of the world as there are already releases of
> the binary with this issue.
>

Reply via email to