diff --git a/share/pgpkeys/pgpkeys-developers.sgml b/share/pgpkeys/pgpkeys-developers.sgml index 8decc29c04..ca0dbda340 100644 --- a/share/pgpkeys/pgpkeys-developers.sgml +++ b/share/pgpkeys/pgpkeys-developers.sgml @@ -1331,6 +1331,11 @@ &pgpkey.das; + + &a.scheidell; + &pgpkey.scheidell; + + &a.schweikh; &pgpkey.schweikh; diff --git a/share/pgpkeys/pgpkeys.ent b/share/pgpkeys/pgpkeys.ent index 0f672d2c8f..e1a0ee5bc1 100644 --- a/share/pgpkeys/pgpkeys.ent +++ b/share/pgpkeys/pgpkeys.ent @@ -301,6 +301,7 @@ + diff --git a/share/pgpkeys/scheidell.key b/share/pgpkeys/scheidell.key new file mode 100644 index 0000000000..2c0a4d4a65 --- /dev/null +++ b/share/pgpkeys/scheidell.key @@ -0,0 +1,41 @@ + + + +sub 2048R/8F241971 2011-11-16 +]]> +