diff --git a/share/pgpkeys/manolis.key b/share/pgpkeys/manolis.key
new file mode 100644
index 0000000000..063dd8195c
--- /dev/null
+++ b/share/pgpkeys/manolis.key
@@ -0,0 +1,54 @@
+
+
+
+uid Manolis Kiagias
+uid Manolis Kiagias (A.K.A. sonic, sonicy, sonic2000gr)
+sub 2048g/EB94B411 2006-08-22
+]]>
+
diff --git a/share/pgpkeys/pgpkeys-developers.sgml b/share/pgpkeys/pgpkeys-developers.sgml
index 589f20d1a6..56025014bd 100644
--- a/share/pgpkeys/pgpkeys-developers.sgml
+++ b/share/pgpkeys/pgpkeys-developers.sgml
@@ -494,6 +494,11 @@
&pgpkey.fjoe;
+
+ &a.manolis;
+ &pgpkey.manolis;
+
+
&a.jkim;
&pgpkey.jkim;
diff --git a/share/pgpkeys/pgpkeys.ent b/share/pgpkeys/pgpkeys.ent
index 1728ea1eb4..9630388457 100644
--- a/share/pgpkeys/pgpkeys.ent
+++ b/share/pgpkeys/pgpkeys.ent
@@ -159,6 +159,7 @@
+