June 10, 2008
1:48 p.m.
I have posted some patches to the inbox to make the Kernel Number tests run, and in the Issues page I propose to delete a bunch of nonsensical testHash tests. With these changes the Kernel tests should all be green. - on