Thanks. I wiggled these three on top of the "Revert the earlier one"; while I think the result is correct, I'd appreciate if you can double check the result when I push the topic out later today. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html