0.8.7.52:

[sbcl.git] / CREDITS

diff --git a/CREDITS b/CREDITS
index f41a1f3..fe88f80 100644 (file)
--- a/CREDITS
+++ b/CREDITS
@@ -512,7 +512,7 @@ Daniel Barlow:
   and PPC ports (from CMUCL), control stack exhaustion checking (new)
   and native threads support for x86 Linux (new).  He also refactored
   the garbage collectors for understandability, wrote code
-  (e.g. grovel_headers.c and stat_wrapper stuff) to find
+  (e.g. grovel-headers.c and stat_wrapper stuff) to find
   machine-dependent and OS-dependent constants automatically, and was
   original author of the asdf, asdf-install, sb-bsd-sockets,
   sb-executable, sb-grovel and sb-posix contrib packages.
@@ -540,11 +540,12 @@ Alexey Dejneka:
   tremendous amount of work on the compiler in particular, fixing
   bugs and refactoring.
 
-Paul Dietz
-  He is in the process of writing a comprehensive test suite for the
-  requirements of the ANSI Common Lisp standard.  Already, at the
-  halfway stage, it has caught hundreds of bugs in SBCL, and provided
-  simple test cases for them.
+Paul Dietz He is in the process of writing a comprehensive test suite
+  for the requirements of the ANSI Common Lisp standard. Already, at
+  the halfway stage, it has caught hundreds of bugs in SBCL, and
+  provided simple test cases for them. His random crash tester has
+  caught an old deep problem in the implementation of the stack
+  analysis phase in the compiler.
 
 Miles Egan
   He creates binary packages of SBCL releases for Red Hat and other
@@ -686,3 +687,4 @@ WHN  William ("Bill") Newman
 CSR  Christophe Rhodes
 PVE  Peter Van Eynde
 PW   Paul Werkowski
+PFD  Paul F. Dietz