Subject: [pgjdbc/pgjdbc] PR #3813: doc: add the new PGP signing key to the official documentation

From: "vlsi (@vlsi)" <[email-masked]>
Date: Fri, 19 Sep 2025 07:17:30 +0000

See https://github.com/pgjdbc/pgjdbc/pull/3701#issuecomment-3310741553

@dsvensson, WDYT?

---

From: "dsvensson (@dsvensson)" <[email-masked]>
Date: Fri, 19 Sep 2025 08:34:30 +0000

Much appreciated 🙏 ❤️