diff --git a/share/pgpkeys/araujo.key b/share/pgpkeys/araujo.key
new file mode 100644
index 0000000000..caec0d3086
--- /dev/null
+++ b/share/pgpkeys/araujo.key
@@ -0,0 +1,41 @@
+
+
+
+sub 2048g/63CC012D 2007-04-27
+]]>
+
diff --git a/share/pgpkeys/pgpkeys.ent b/share/pgpkeys/pgpkeys.ent
index b2763eb6c5..5000b98c8e 100644
--- a/share/pgpkeys/pgpkeys.ent
+++ b/share/pgpkeys/pgpkeys.ent
@@ -14,6 +14,7 @@
+