diff --git a/share/pgpkeys/avilla.key b/share/pgpkeys/avilla.key
new file mode 100644
index 0000000000..be7c33e9f0
--- /dev/null
+++ b/share/pgpkeys/avilla.key
@@ -0,0 +1,30 @@
+
+
+
+sub 1024R/F7C8254C 2010-01-24
+]]>
+
diff --git a/share/pgpkeys/pgpkeys-developers.sgml b/share/pgpkeys/pgpkeys-developers.sgml
index 81932256a6..bbaa312380 100644
--- a/share/pgpkeys/pgpkeys-developers.sgml
+++ b/share/pgpkeys/pgpkeys-developers.sgml
@@ -1406,6 +1406,11 @@
&pgpkey.nectar;
+
+ &a.avilla;
+ &pgpkey.avilla;
+
+
&a.nivit;
&pgpkey.nivit;
diff --git a/share/pgpkeys/pgpkeys.ent b/share/pgpkeys/pgpkeys.ent
index c658381029..34600542fc 100644
--- a/share/pgpkeys/pgpkeys.ent
+++ b/share/pgpkeys/pgpkeys.ent
@@ -23,6 +23,7 @@
+