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! -- Bastien