On Wed, 2012-05-23 at 18:44 +0200, Borislav Petkov wrote: > FWIW, I can change it if you feel too strongly about it, I don't really > care that much. I don't care much at the moment, I might if I'm ever forced to actually read the MCE code, but until that time I'll crawl back into my corner :-) -- To unsubscribe from this list: send the line "unsubscribe linux-tip-commits" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html