I took these separately already, and plan to fast-track them as they are both "trivially correct"; I double checked that what I have match these two, too.
Thanks. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
