Eric, I'm sorry, but this change isn't important enough for me to follow up. Please merge the other two patches, if you think they're good.
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
