> 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.

Reply via email to