On Wed, Jul 15, 2009 at 10:21:31AM -0700, Richard Henderson wrote: > Ok. Manuel, thanks so much for taking care of this. Feel free to commit the patch, as you have the most recent version. Aldy