On Wed, Oct 19, 2022 at 7:04 AM Patrice Dumas <[email protected]> wrote:
> Hello, > > A new version, no functional change, but code could be more clear > like that. > Now that texinfo 7.0.1 has been released, I used this new version with maxima. It works great, so thanks for your help in this! > -- Ray
