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

[void]

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