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

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

From: void <void_at_f-m.fm>
Date: Sat, 06 Jun 2026 10:56:01 UTC

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.
--