Hi, On Sat, 12 Jun 2021 at 07:59, Jorge P. de Morais Neto <[email protected]> wrote:
> Yes, the problem I reported is fixed in the latest version of the > manual. Thanks, so closing. All the best, simon
Hi, On Sat, 12 Jun 2021 at 07:59, Jorge P. de Morais Neto <[email protected]> wrote:
> Yes, the problem I reported is fixed in the latest version of the > manual. Thanks, so closing. All the best, simon