[rt-commit] CVS commit: rt

[Tobias Brox]

> Please don't. I'm working on that code.

I've already done it, though I forgot doing it before the last commit.
Well, just relax and eventually commit when you're finished - and I'll
resolve the eventual conflicts myself.  There probably won't be any, cvs
is quite cool ... and ediff is also quite cool.. :)

-- 
Spell checkers are for wimps
(please send feedback on all typos)