Re: who manages https://docs.freebsd.org/pgpkeys/pgpkeys.txt ? It has errors

Reply: void : "Re: who manages https://docs.freebsd.org/pgpkeys/pgpkeys.txt ? It has errors"
In reply to: void : "Re: who manages https://docs.freebsd.org/pgpkeys/pgpkeys.txt ? It has errors"
Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: Sergio Carlavilla <carlavilla_at_freebsd.org>
Date: Sat, 06 Jun 2026 10:57:12 UTC

Hi,

Yes please!
For personal issues I am really busy.

On Sat, Jun 6, 2026, 12:56 PM void <void@f-m.fm> wrote:

> On Mon, May 25, 2026 at 04:31:07PM +0200, Sergio Carlavilla wrote:
>
> >Hi,
> >
> >Thanks for reporting, let me take a look.
>
> Friendly ping?
>
> In retrospect, should I have made a PR in the doc category about this?
> I'm happy to make a PR if it's required.
> --
>
>