diff options
Diffstat (limited to 'Porting/checkAUTHORS.pl')
-rwxr-xr-x | Porting/checkAUTHORS.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Porting/checkAUTHORS.pl b/Porting/checkAUTHORS.pl index a2d60c9666..e9bd8ec723 100755 --- a/Porting/checkAUTHORS.pl +++ b/Porting/checkAUTHORS.pl @@ -674,6 +674,7 @@ jpeacock\100messagesystems.com john.peacock\100havurah-software.org + jpeacock\100jpeacock-hp.doesntexist.org + jpeacock\100cpan.org + jpeacock\100rowman.com +jpl.jpl\100gmail.com jpl\100research.att.com jql\100accessone.com jql\100jql.accessone.com jsm28\100hermes.cam.ac.uk jsm28\100cam.ac.uk |