Re: [9fans] new kernels

[Russ Cox]

> I see.  The following should be it.
>         md5 ea67840399f81056b423c6f482b2f757
> I'll wait for 15 min just to be sure.

No, md5 0f8f5077ddfd332c3a775e3aa79acdc2

Russ