Gnatsweb

[Daniel Bonniot <Daniel dot Bonniot at inria dot fr>]

Hi,

I recently tried to reproduce old bug reports, to see if any could be 
closed.

I had at least one success, for 5227, and most likely 3695 could be 
closed too.

To report these, I clicked on "send email to interested parties" on 
http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=5227

This succeeded in adding the comment to the pr. But I also got a failure 
notice by email, that starts like this:

Hi. This is the qmail-send program at sources.redhat.com.
I'm afraid I wasn't able to deliver your message to the following addresses.
This is a permanent error; I've given up. Sorry it didn't work out.

<java-prs at gcc dot gnu dot org>:
Sender: Daniel dot Bonniot at inria dot fr
This mailing list is not for general discussions.  Please resend your
mail note to a more appropriate list.


It seems right that additional comments to prs are sent to java-prs. 
Anybody knows why it does not work?

If sending to these lists is not wanted, then the "send email to 
interested parties" should be fixed.

Anyway, kudos for the fixes!

Cheers,

Daniel