Bruno Cesar Ribas:
> Everything is Ok now.
> 
> For some reaseon 'git-update-server-info' did not run after your push. But I
> fixed the problem and it will not happen again.
> 
> I'm sorry for the incovenience.

Confirmed.
Thank you very much!


J. R. Okajima

------------------------------------------------------------------------------

Reply via email to