Mark Mitchell <mark@codesourcery.com> writes: | I intend to fix the release script so that it no longer behaves this | way; it's too easy to make a mistake at present. Thanks for fixing that! -- Gaby