"Rafael J. Wysocki" <[email protected]> writes:

> On Monday, July 16, 2012, Thomas Gleixner wrote:
>> Does the following patch fix the problem for you ?
>
> Yes, it does, thanks!

Works for me as well.

Andreas.

-- 
Andreas Schwab, [email protected]
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to [email protected]
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/

Reply via email to