Re: who manages https://docs.freebsd.org/pgpkeys/pgpkeys.txt ? It has errors
void <[email protected]> Sat, 6 Jun 2026 11:56:01 +0100
| Newsgroups | gmane.os.freebsd.devel.documentation |
|---|---|
| Message-ID | <aiP8wbrEP0fiP_uM@int21h> |
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. --