diff --git a/share/pgpkeys/davidch.key b/share/pgpkeys/davidch.key
new file mode 100644
index 0000000000..fb29695117
--- /dev/null
+++ b/share/pgpkeys/davidch.key
@@ -0,0 +1,64 @@
+
+
+
+sub 4096R/6B5D5DE299525D80 2013-10-04 [expires: 2018-10-03]
+
+]]>
+
diff --git a/share/pgpkeys/pgpkeys.ent b/share/pgpkeys/pgpkeys.ent
index 66fc75b069..0a5a4090ae 100644
--- a/share/pgpkeys/pgpkeys.ent
+++ b/share/pgpkeys/pgpkeys.ent
@@ -95,6 +95,7 @@
+