On Fri, Dec 14, 2012 at 7:36 AM, Linus Torvalds <[email protected]> wrote: >> Any problem with this tree, or did it just slip through the cracks? > > It was merged seven hours before your email. Forgot to check?
No, just dumb-assery in how I fetched in one place and checked in another. Sorry. -- To unsubscribe from this list: send the line "unsubscribe linux-rdma" in the body of a message to [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html
