[Super-tux-devel] Sourceforge developer's CVS down?

[Tobias <tob...@gm...>]

hi all,

I wanted to commit a few clean ups, but sourceforge
developer's CVS seems to be down.

Greetz...

Tobias Gläßer