Commit d7c8adf35e121ff32f535c21806c4846e860054f

Bruno Haible 2003-01-08T18:49:30

Update after Jim's changes.