Hi Eric,

Eric S Fraga <e.fr...@ucl.ac.uk> writes:

> On Thursday,  3 Sep 2020 at 14:29, Bastien wrote:
>> IMHO it deserves a small addition to etc/ORG-NEWS.
> Already there although maybe I added it in the wrong section?  I put it
> under Version 9.4 -> New options.

Er, now I see, sorry for the overlook!


Reply via email to