Bruno Haible <[EMAIL PROTECTED]> writes: >> + Gnulib is currently being maintained by
> _Currently_? Counting the number of people who have contributed more than > 10 ChangeLog entries As I understand it the "Maintainers" entry is for the official maintainers, which is sometimes distinct from the people who are actually doing the work. Perhaps we should update the list of official maintainers, though.
