Hi,
On Wed, Aug 31, 2005 at 02:47:31PM +0200, Hans Leidekker wrote:
CVS is still unavailable, so here's a patch generated without CVS. I hope it applies cleanly.
It is not. The main server might still be, but there's a rather adequate mirror available, as has even been mentioned right before the server transition.
Andreas Mohr