diff options
Diffstat (limited to 'gnu/usr.bin/grep/THANKS')
-rw-r--r-- | gnu/usr.bin/grep/THANKS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/usr.bin/grep/THANKS b/gnu/usr.bin/grep/THANKS index 924b6cf..75ecc46 100644 --- a/gnu/usr.bin/grep/THANKS +++ b/gnu/usr.bin/grep/THANKS @@ -4,6 +4,7 @@ Andreas Schwab <schwab@suse.de> Andreas Ley <andy@rz.uni-karlsruhe.de> Ben Elliston <bje@cygnus.com> David J MacKenzie <djm@catapult.va.pubnix.com> +David O'Brien <obrien@freebsd.org> Eli Zaretskii <eliz@is.elta.co.il> Florian La Roche <florian@knorke.saar.de> Franc,ois Pinard <pinard@IRO.UMontreal.CA> |