diff options
-rwxr-xr-x | Porting/checkAUTHORS.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Porting/checkAUTHORS.pl b/Porting/checkAUTHORS.pl index fc76d97dcd..c164933f65 100755 --- a/Porting/checkAUTHORS.pl +++ b/Porting/checkAUTHORS.pl @@ -696,6 +696,8 @@ keith.s.thompson\100gmail.com kst\100mib.org ken\100mathforum.org kenahoo\100gmail.com + ken.williams\100thomsonreuters.com kentfredric\100gmail.com kentnl\100cpan.org +kmx\100volny.cz kmx\100volny.cz ++ kmx\100cpan.org kroepke\100dolphin-services.de kay\100dolphin-services.de kst\100mib.org kst\100cts.com + kst\100SDSC.EDU |