diff --git a/en_US.ISO8859-1/articles/contributors/contrib.committers.sgml b/en_US.ISO8859-1/articles/contributors/contrib.committers.sgml
index 30aabc4fff..7480a1df98 100644
--- a/en_US.ISO8859-1/articles/contributors/contrib.committers.sgml
+++ b/en_US.ISO8859-1/articles/contributors/contrib.committers.sgml
@@ -554,6 +554,10 @@
&a.chinsan;
+
+ &a.davide;
+
+
&a.iwasaki;
diff --git a/en_US.ISO8859-1/share/sgml/authors.ent b/en_US.ISO8859-1/share/sgml/authors.ent
index d5eb377f74..d2e66dde1f 100644
--- a/en_US.ISO8859-1/share/sgml/authors.ent
+++ b/en_US.ISO8859-1/share/sgml/authors.ent
@@ -282,6 +282,8 @@
davidch@FreeBSD.org">
+davide@FreeBSD.org">
+
davidn@FreeBSD.org">
davidxu@FreeBSD.org">
diff --git a/share/pgpkeys/davide.key b/share/pgpkeys/davide.key
new file mode 100644
index 0000000000..09f278b554
--- /dev/null
+++ b/share/pgpkeys/davide.key
@@ -0,0 +1,41 @@
+
+
+
+sub 2048R/91F7443D 2012-01-17
+]]>
+
diff --git a/share/pgpkeys/pgpkeys-developers.sgml b/share/pgpkeys/pgpkeys-developers.sgml
index adc128e5a2..4e0eaaa3c8 100644
--- a/share/pgpkeys/pgpkeys-developers.sgml
+++ b/share/pgpkeys/pgpkeys-developers.sgml
@@ -641,6 +641,11 @@
&pgpkey.chinsan;
+
+ &a.davide;
+ &pgpkey.davide;
+
+
&a.jkh;
&pgpkey.jkh;
diff --git a/share/pgpkeys/pgpkeys.ent b/share/pgpkeys/pgpkeys.ent
index 2bbdbeeb47..717dc5c8fd 100644
--- a/share/pgpkeys/pgpkeys.ent
+++ b/share/pgpkeys/pgpkeys.ent
@@ -80,6 +80,7 @@
+