On 7/13/08, [EMAIL PROTECTED] <[EMAIL PROTECTED]> wrote: > I've added kbin to pcf, so the set of distributed kernels with kbin in > them is now pc, pccd, pcdisk and pcf.
I noticed, after a pull, that the corresponding binaries haven't been updated. Just thought I'd mention it, in case they were unintentionally left out. Greetings, Sander.
