Date: Sat, 6 Jun 2026 11:56:01 +0100 From: void <void@f-m.fm> To: freebsd-doc@freebsd.org Subject: Re: who manages https://docs.freebsd.org/pgpkeys/pgpkeys.txt ? It has errors Message-ID: <aiP8wbrEP0fiP_uM@int21h> In-Reply-To: <CAFwocyNC7w=vF1QhMKjVp14u3Qo-P8nV=fHcUCptMbpGKGYTfA@mail.gmail.com> References: <ahRcvIvMSZxWy0t2@int21h> <CAFwocyNC7w=vF1QhMKjVp14u3Qo-P8nV=fHcUCptMbpGKGYTfA@mail.gmail.com>
index | next in thread | previous in thread | raw e-mail
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. --home | help
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?aiP8wbrEP0fiP_uM>