diff options
| -rw-r--r-- | docs/THANKS | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/THANKS b/docs/THANKS index 6571c71ba..0b67b093b 100644 --- a/docs/THANKS +++ b/docs/THANKS @@ -92,3 +92,8 @@ Jean-Philippe Barrette-LaPierre <jpb@rrette.com> Richard Bramante <RBramante@on.com> Daniel Kouril <kouril@ics.muni.cz> Dirk Manske <dm@nettraffic.de> +David Meyer <meyer@paracel.com> +Dominick Meglio <codemstr@ptd.net> +Gisle Vanem <gvanem@broadpark.no> +Giuseppe Attardi <attardi@di.unipi.it> + |