Hi Sergio,

> We've received a notice on the GNU GDB ml mentioning that the GDB 7.7
> branch date annoucement in our website is wrong (s/2013/2014).  I cloned
> the repository and fixed this (here's the patch), but I'm not sure if I
> can just go ahead and check it in, or if there's some other thing I need
> to do.
> 
> Anyway, here's the patch.  I can check it in if you give me a green
> light.

Thanks for the fix. In my initial reply, I had given you the green
light, with the following blurb: Make sure that you commit the patch
both to savannah (which feeds the side on gnu.org) and to the htdocs
repository at sourceware.org:/cvs/gdb (which feeds the sourceware.org
mirror). I usually have one single git mirror inside which I make
the changes, which I then cvsexportcommit to both CVS repositories.

In this case, I went ahead because I also noticed that the "Last
Updated" timestamps had not been updated. YOu need to run the index.sh
script on all HTML files updated....

Attached is what I ended up checking in...

-- 
Joel