Index: share/pgpkeys/doceng-secretary.key
===================================================================
--- /dev/null
+++ share/pgpkeys/doceng-secretary.key
@@ -0,0 +1,44 @@
+
+
+
+sub rsa2048/9EA8D713509472FC 2019-10-31 [E] [expires: 2022-10-30]
+
+]]>
+
Index: share/pgpkeys/pgpkeys-officers.xml
===================================================================
--- share/pgpkeys/pgpkeys-officers.xml
+++ share/pgpkeys/pgpkeys-officers.xml
@@ -23,3 +23,8 @@
&a.portmgr-secretary;
&pgpkey.portmgr-secretary;
+
+
+ &a.doceng-secretary.email;
+ &pgpkey.doceng-secretary;
+
Index: share/pgpkeys/pgpkeys.ent
===================================================================
--- share/pgpkeys/pgpkeys.ent
+++ share/pgpkeys/pgpkeys.ent
@@ -145,6 +145,7 @@
+