Re: [git pull] x86 fixes

David Sanders
2008-09-08T22:17:09Z

On Monday 08 September 2008 17:43, H. Peter Anvin wrote:
> Does this patch fix that for you?
>

Yes, thanks.