On 18 August 2015 at 14:38, Pierre-Marie de Rodat <dero...@adacore.com> wrote: > > I think it would be great to copy this text in GCC's: may I do this?
Sorry, I did it before I read your message. For the future, I would advise to "Just Do It" and then say that you did it. It is a wiki, it can always be reverted if someone disagrees. Perhaps it would be great if the GNU tools did not have some much duplicated infrastructure (and inconsistent red-tape), but oh well... Cheers, Manuel.