Re: Git history, Savannah

[James]

Hello,

On 01/12/2010 09:34, Trevor Daniels wrote:
> Francisco Vila wrote Tuesday, November 30, 2010 2:31 PM
>
>
> > Hello. As you probably know, Savannah has been down for days; now it
> > is almost restored but latest backups are not newer than those of
> > November 24th. We should look at our local repos, try to restore the
> > history and find out whether are there any missing commits.

..

Being someone who doesn't really understand much of this but who does 
patches for Doc.

I've pulled this morning and make ; make doc seems to work ok and I did 
a make doc-clean yesterday, so as of 11:00 GMT everything for me 
compiled doc wise, but if someone 'announce' when everything is ok I'd 
appreciate it :)

Thank you for your consideration.

James