diff options
| -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 805db715b2..2263f9a7f4 100755 --- a/Porting/checkAUTHORS.pl +++ b/Porting/checkAUTHORS.pl @@ -723,6 +723,7 @@ merijn h.m.brand\100xs4all.nl + h.m.brand\100hccnet.nl + merijn\100l1.procura.nl + merijn\100a5.(none) ++ perl5\100tux.freedom.nl mhx mhx-perl\100gmx.net + mhx\100r2d2.(none) mst mst\100shadowcat.co.uk |