On Tue, Jan 4, 2011 at 12:40 PM, Ruben Smits
<ruben.smits@mech.kuleuven.be> wrote: >> This was a temporary server glitch with code.ros.org. If you run
>> again, it should go away.
>
> Thank you, the release succeeded :)
Sorry for the inconvenience. 2011 seems to be the year of server
hiccups (Github, code.ros.org).