>>>>> "Bernardo" == Bernardo Innocenti <[EMAIL PROTECTED]> writes:
Bernardo> If people think it would be useful, we could install a commit Bernardo> hook on gcc.gnu.org to mirror each commit immediately. It would be great! Sam -- Samuel Tardieu -- [EMAIL PROTECTED] -- http://www.rfc1149.net/