hi :) the hostname cvs.kernel.org exists but nobody listens on port 2401. Is it deactivated on purpose or just broken? -- Martin Waitz