On 10/23/2012 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. Agreed ... release a correctly tagged 2.23.0 instead and forget 2.23 has ever exited? Ralf