> From: Henri Verbeet > > Looks like the bot is using "patch" instead of "git apply" to apply > patches, and missed the rename in patch 3/5. Yes, you're right. I'll look into it. Greg.