On Fri, Mar 2, 2012 at 3:10 PM, Tobias Burnus <bur...@net-b.de> wrote: > On 03/02/2012 03:02 PM, Jakub Jelinek wrote: >> >> releasing.html is wrong for this, it has nothing to do with releasing, but >> with branching, so something like that should go into branching.html >> instead. From this isn't clear where this command needs to be run, btw, on >> gcc.gnu.org directly, somewhere else? > > > Thanks for the comments - I unfortunately saw them only just after Richard's > OK. How about the following?
Better. Ok, thanks, Richard. > Tobias
