On 11/12/2013 03:00 PM, Ingo Molnar wrote: > > Indeed that is the documented alias, although stable@xxxxxxxxxx works as > well and is used frequently: > No, it doesn't; it has bounced for the past two years. -hpa -- 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