> From: David Jones <dej@eecg.toronto.edu>
> Date: 	Sat, 1 Jul 1995 18:35:53 -0400

> Are we using config.new yet?

Uh, we have always used the "new" config, but that was renamed
some time ago (config->config.old, config.new->config)

I am using full native build now.  You can get there from the
current snapshot by rebuilding the world, or wait a while until
I can get the snapshot updated.  I've been really busy...

Gordon