On 08/05/2013 06:02 AM, Matt Fleming wrote: > On Tue, 30 Jul, at 08:52:12PM, Ingo Molnar wrote: >> Pulled into tip:x86/urgent, thanks Matt! > > Thanks Ingo. > > Any chance we can get this to Linus for -rc5? The ARM EFI boot stub > patches depend on the bug fix in this pull request. > Yes, we should push the urgent queue to Linus. -hpa -- To unsubscribe from this list: send the line "unsubscribe linux-efi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html