diff --git a/share/pgpkeys/pgpkeys-developers.xml b/share/pgpkeys/pgpkeys-developers.xml
index 1163f8673e..c0c34204bd 100644
--- a/share/pgpkeys/pgpkeys-developers.xml
+++ b/share/pgpkeys/pgpkeys-developers.xml
@@ -656,6 +656,11 @@
&pgpkey.mux;
+
+ &a.wen;
+ &pgpkey.wen;
+
+
&a.dhn;
&pgpkey.dhn;
diff --git a/share/pgpkeys/pgpkeys.ent b/share/pgpkeys/pgpkeys.ent
index 75817da4a8..a9c381a270 100644
--- a/share/pgpkeys/pgpkeys.ent
+++ b/share/pgpkeys/pgpkeys.ent
@@ -387,6 +387,7 @@
+
diff --git a/share/pgpkeys/wen.key b/share/pgpkeys/wen.key
new file mode 100644
index 0000000000..84ebf6ce12
--- /dev/null
+++ b/share/pgpkeys/wen.key
@@ -0,0 +1,41 @@
+
+
+
+sub 2048R/CFC8D6A9 2012-12-10
+]]>
+