*** empty log message ***

diff --git a/RELEASE b/RELEASE
index 71659ee..d0ae561 100644 (file)
--- a/RELEASE
+++ b/RELEASE
@@ -34,7 +34,8 @@ HP/UX (gcc, HP cc) --- nutrimat.gnu.ai.mit.edu
 4) Update the version numbers in GUILE-VERSION, and README, to remove the
    "unreleased" indications.  They should be straight numbers, of the form
    "N.M", not alpha numbers, of the form "N.Ma".
-5) Set up README appropriately for the release.
+5) Set up README appropriately for the release; check name spellings
+   in THANKS, and reformat.
 6) Choose new interface numbers for shared libraries.
 7) Do a `cvs update -A', to get rid of any sticky tags.
 8) Rebuild all generated files in the source tree:

diff --git a/THANKS b/THANKS
index 1ef7531..0e8a78b 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -20,6 +20,7 @@ Bug reports and fixes from:
        Greg Harvey
     Karl M. Hegbloom
        Dirk Herrmann
+    Charbel Jacquin
        Bill Janssen
   Steven G. Johnson
      Roland Kaufmann
@@ -37,6 +38,7 @@ Christopher Lee
     Richard Polton
        Chet Ramey
         Jim Ravan
+       John Redford
      Daniel Risacher
   Ole Myren Röhne
      Julian Satchell