On Wed, 4 Oct 2006, Paul Eggert wrote: > Paolo Bonzini <[EMAIL PROTECTED]> writes: > > > As a small prod, here's the patch to implement the renaming. > > The idea looks good to me. Thanks. Joel, do you have time to > review his two patches? (We have to wait for the papers anyway.)
I would very much like to review it, but I'm swamped. If we can wait a week or so, I'll get to it.
