Hello, > I don't think the recipient "got it", since it already has a comment about > "just use rmdir". Can you please tell them that that isn't the point? I already did. They got the point. I have confidence that they fix it. But there is no ETA. And the fix will not be backported. Thomas - 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
