diff options
-rw-r--r-- | CREDITS.TXT | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CREDITS.TXT b/CREDITS.TXT index eb7fd014e8..f4f2bb390c 100644 --- a/CREDITS.TXT +++ b/CREDITS.TXT @@ -41,4 +41,5 @@ E: ashukla@cs.uiuc.edu D: The paths pass N: Bill Wendling +E: wendling@isanbard.org D: The Lower Setjmp/Longjmp pass |