> Yes, exactly. `master` is still the mainline branch to integrate new PRs
> while the nextgen implementation available in `async` is still in alpha phase.
OK, good.
> We'd specifically want to keep support of Emacs 24.3 for the moment
> because this is still the version of the emacs24 package
[reposting with the good e-mail address for the list…]
- Forwarded message from Erik Martin-Dorel -
> Date: Wed, 28 Nov 2018 21:35:08 +0100
> From: Erik Martin-Dorel
> To: Stefan Monnier
> Cc: ProofGeneral Development
> Subject: Re: [PG-devel] Supported version of Emacs
>
> Dear
I'm consider sending patches that change the code to take advantage of
features from newer Emacsen (such as lexical-binding) but am wondering
what's the "target" supported version.
In the `master` branch (PG-4.5), it is claimed that it should work under
Emacs-24.3 whereas in the `async` branch
