diff options
Diffstat (limited to 'Porting')
| -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 856a9f57ce..baf8601520 100755 --- a/Porting/checkAUTHORS.pl +++ b/Porting/checkAUTHORS.pl @@ -803,6 +803,7 @@ schwab\100suse.de schwab\100issan.informatik.uni-dortmund. sebastien\100aperghis.net maddingue\100free.fr + saper\100cpan.org shlomif\100vipe.technion.ac.il shlomif\100iglu.org.il ++ shlomif+processed-by-perl\100gmail.com simon\100simon-cozens.org simon\100pembro4.pmb.ox.ac.uk + simon\100brecon.co.uk + simon\100othersideofthe.earth.li |