New ARI warning Fri Nov 16 01:56:44 UTC 2012
Joel Brobecker
brobecker@adacore.com
Mon Nov 19 22:27:00 GMT 2012
> Should I switch to sending emails from these scripts?
> The current problem is that branch doesn't have contrib./ari directory
> yet, so I can only do this for trunk...
I would defer to you over what makes most sense for you.
As for the branch, I think adding them to the release branch would be
zero risk. If that makes it easier for you, you can add them there
as well.
--
Joel
More information about the Gdb-patches
mailing list