diff --git a/share/pgpkeys/pgpkeys.ent b/share/pgpkeys/pgpkeys.ent
index 445fc9948a..c79eaf6ef6 100644
--- a/share/pgpkeys/pgpkeys.ent
+++ b/share/pgpkeys/pgpkeys.ent
@@ -1,177 +1,178 @@
+
diff --git a/share/pgpkeys/stephane.key b/share/pgpkeys/stephane.key
new file mode 100644
index 0000000000..7c2f8e4472
--- /dev/null
+++ b/share/pgpkeys/stephane.key
@@ -0,0 +1,34 @@
+
+
+
+ Key fingerprint = A219 AD42 AD1E 00BF E30B D213 94EE 8EC7 0F01 CAE3
+sub 1024g/A7429D55 2001-04-20
+]]>
+