git: 5d7efc931b - main - gpgkeys: Update core.13 members

The branch main has been updated by lwhsu:

URL: https://cgit.FreeBSD.org/doc/commit/?id=5d7efc931b2f32d5e36b093eb7f6fda034efcf2e

commit 5d7efc931b2f32d5e36b093eb7f6fda034efcf2e
Author:     Li-Wen Hsu <[email protected]>
AuthorDate: 2024-07-03 19:39:06 +0000
Commit:     Li-Wen Hsu <[email protected]>
CommitDate: 2024-07-03 19:39:06 +0000

    gpgkeys: Update core.13 members
    
    Approved by:    core
---
 .../content/en/articles/pgpkeys/_index.adoc        | 26 +++++++++++-----------
 1 file changed, 13 insertions(+), 13 deletions(-)

diff --git a/documentation/content/en/articles/pgpkeys/_index.adoc b/documentation/content/en/articles/pgpkeys/_index.adoc
index 7544ef4c4b..cc143291a0 100644
--- a/documentation/content/en/articles/pgpkeys/_index.adoc
+++ b/documentation/content/en/articles/pgpkeys/_index.adoc
@@ -75,30 +75,30 @@ include::{include-path}doceng-secretary.key[]
 [[pgpkeys-core]]
 == Core Team Members
 
-=== `{bapt}`
-include::{include-path}bapt.key[]
+=== `{allanjude}`
+include::{include-path}allanjude.key[]
 
-=== `{bcr}`
-include::{include-path}bcr.key[]
+=== `{dch}`
+include::{include-path}dch.key[]
 
-=== `{grog}`
-include::{include-path}grog.key[]
+=== `{glebius}`
+include::{include-path}glebius.key[]
 
-=== `{jhb}`
-include::{include-path}jhb.key[]
+=== `{hrs}`
+include::{include-path}hrs.key[]
 
 === `{lwhsu}`
 include::{include-path}lwhsu.key[]
 
-=== `{manu}`
-include::{include-path}manu.key[]
+=== `{mat}`
+include::{include-path}mat.key[]
+
+=== `{olivier}`
+include::{include-path}olivier.key[]
 
 === `{tcberner}`
 include::{include-path}tcberner.key[]
 
-=== `{0mp}`
-include::{include-path}0mp.key[]
-
 [[pgpkeys-developers]]
 == Developers