Re: commit problems

[Riccardo Mottola]

Hi,

it must have been something temporary: this morning I logged in, issued 
the same command and it worked!

Or if somebody fixed something in the build farm, thanks anyway.

Riccardo