On Thu, Jun 27, 2019 at 3:45 PM Richard W.M. Jones <rich@annexia.org> wrote:
I know camlp4 is dead and all that, but we've got some software which
still uses it. I will probably port it to camlp5 when I have the
time, but has anyone got the patch to make camlp4 work with 4.08?