summaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
Diffstat (limited to 'THANKS')
-rw-r--r--THANKS1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS
index 931b45b7a58..5315b60830d 100644
--- a/THANKS
+++ b/THANKS
@@ -2100,6 +2100,7 @@ Qingbo Cai <qingbo dot cai at case dot edu>
David White <david dot white dot 7 at gmail dot com>
Jason Zhang <zzm9981 at 163 dot com>
Mark Paulus <mark dot paulus at mci dot com>
+Martin Cornelius <Martin at Cornelius at smiths-heimann dot com>
I would particularly like to thank Paul Stephenson, who worked with me
at Ericsson in the early 1990's. Paul devised the recursive Makefile