diff --git a/share/pgpkeys/ler.key b/share/pgpkeys/ler.key
new file mode 100644
index 0000000000..52f3258165
--- /dev/null
+++ b/share/pgpkeys/ler.key
@@ -0,0 +1,43 @@
+
+
+
+sub rsa2048/FD0614DC2AD28ED9 2017-01-10 [E] [expires: 2020-01-10]
+
+]]>
+
diff --git a/share/pgpkeys/pgpkeys-developers.xml b/share/pgpkeys/pgpkeys-developers.xml
index 6e87832859..6a529986a3 100644
--- a/share/pgpkeys/pgpkeys-developers.xml
+++ b/share/pgpkeys/pgpkeys-developers.xml
@@ -1836,6 +1836,11 @@
&pgpkey.rodrigc;
+
+ &a.ler.email;
+ &pgpkey.ler;
+
+
&a.robak.email;
&pgpkey.robak;
diff --git a/share/pgpkeys/pgpkeys.ent b/share/pgpkeys/pgpkeys.ent
index bd50f72cd1..a38ed18300 100644
--- a/share/pgpkeys/pgpkeys.ent
+++ b/share/pgpkeys/pgpkeys.ent
@@ -267,6 +267,7 @@
+