Hi, according to the discussions in the last weeks, I propose, that we'll cut a new release 2.0.1. I'm going to do the work. As there haven't been any serious changes in the last months (and because I prefer to make my life easy), I'd like to omit rc releases or stuff like that. If anyone intervenes, I'd be happy to vote for another release manager. :-)
Jochen -- Often it does seem a pity that Noah and his party did not miss the boat. (Mark Twain)
