From 12547882794cf41828b9a53e8dbc05f81a078791 Mon Sep 17 00:00:00 2001 From: Michael Scheidell Date: Sat, 19 Nov 2011 16:40:30 +0000 Subject: [PATCH] - Add my PGP key Approved by: gabor(mentor) --- share/pgpkeys/pgpkeys-developers.sgml | 5 ++++ share/pgpkeys/pgpkeys.ent | 1 + share/pgpkeys/scheidell.key | 41 +++++++++++++++++++++++++++ 3 files changed, 47 insertions(+) create mode 100644 share/pgpkeys/scheidell.key 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 +]]> +