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

Sergio Carlavilla <[email protected]> Sat, 6 Jun 2026 12:57:12 +0200

Newsgroups	gmane.os.freebsd.devel.documentation
Message-ID	<CAFwocyMn4Xy78ymSPkJ-ALs62Rij-RX0w2+MZ9W1+dfU8q0DqA@mail.gmail.com>

Hi,

Yes please!
For personal issues I am really busy.

On Sat, Jun 6, 2026, 12:56 PM void <[email protected]> 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.
> --
>
>