diff --git a/share/pgpkeys/pgpkeys-other.xml b/share/pgpkeys/pgpkeys-other.xml
index 9b8fa425f7..23216f5c12 100644
--- a/share/pgpkeys/pgpkeys-other.xml
+++ b/share/pgpkeys/pgpkeys-other.xml
@@ -34,6 +34,11 @@
&pgpkey.dvl;
+
+ &a.plosher;
+ &pgpkey.plosher;
+
+
&a.dhw;
&pgpkey.dhw;