On Wed, 2010-06-16 at 23:16 +0200, Peter Zijlstra wrote: > Also, google doesn't seem to index msg-ids, so I've no idea what you're > referring to. But marc.info does: http://marc.info/?i=4BCEAD7B0200005A0006513E@xxxxxxxxxxxxxxxxxxxxx ;-) -- Steve -- To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
