On Oct 23, 2012, at 10:27 AM, Andreas Schwab wrote: > Tristan Gingold <gingold@adacore.com> writes: > >> Humm, is there any easy way to fix that ? I cannot find one. > > Any attempt at correcting it would require rewriting history and > probably makes things only worse. Yes. So it will be fixed in the next minor release. Tristan.