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.)


Reply via email to