[scm-migration-dev] done with donuthole?

[Mike Kupfer]

I think I've got everything off of donuthole (Steve's old desktop) that
is worth getting.

I'll tell Darrin (donuthole's owner) next week that we're done with it
unless someone tells me not to.

mike