Add alternate email address for contributor.

diff --git a/Porting/checkAUTHORS.pl b/Porting/checkAUTHORS.pl
index ff9c27f..7fced56 100755 (executable)
--- a/Porting/checkAUTHORS.pl
+++ b/Porting/checkAUTHORS.pl
@@ -862,6 +862,7 @@ simon\100simon-cozens.org               simon\100pembro4.pmb.ox.ac.uk
 +                                       simon\100othersideofthe.earth.li
 +                                       simon\100cozens.net
 +                                       simon\100netthink.co.uk
+lanningswho.int                         lannings\100gmail.com
 slaven\100rezic.de                      slaven.rezic\100berlin.de
 +                                       srezic\100iconmobile.com
 +                                       srezic\100cpan.org