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



Reply via email to