Dear GAP Forum,
Akhiro Munemasa wrote with details of two bugs and one fix in GUAVA, for which
thanks. We'll apply the fix as soon as we can.
He also reported a problem mailing to gap-trouble. That should be fixed now,
but the way gap-trouble works means that problems with the ISPs or mail
servers of any of the over 20 people who receive such messages will be
reported to the original mailer. In such cases, the rest of the recipients
probably received the message OK, and you can usually ignore such messages. If
in doubt, mail email@example.com, which is a much smaller list, or mail me,
or someone else on the development team personally.