summaryrefslogtreecommitdiffstats
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 8c42c8d..82d0a0b 100644
--- a/THANKS
+++ b/THANKS
@@ -35,3 +35,4 @@ Youki Kadobayashi <youki-k@is.aist-nara.ac.jp>
Monty Solomon <monty@roscom.com>
Ulrich Drepper <drepper@ipd.info.uni-karlsruhe.de>
Nelson H. F. Beebe <beebe@math.utah.edu>
+Erick Branderhorst <Erick.Branderhorst@asml.nl>