Hi, On Sat, 12 Jun 2021 at 07:59, Jorge P. de Morais Neto <jorge+l...@disroot.org> 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 <jorge+l...@disroot.org> wrote:
> Yes, the problem I reported is fixed in the latest version of the > manual. Thanks, so closing. All the best, simon