>>> "Paul" == Paul Eggert <[EMAIL PROTECTED]> writes:
> "Joel E. Denny" <[EMAIL PROTECTED]> writes: >> I assume `Maintainers' means the active admins, which are you and Akim. > Right. > I suggest the following for "contributors" (these are major > contributors, listed in chronological order): > Robert Corbett > Richard Stallman > Akim Demaille > Paul Hilfinger I would have put Paul Eggert too.
