CC @richardlau

Wouldn't it be better to keep the patch support in android_configure.py and only remove the actual patch? We might need to apply another patch in the future, no?

Wouldn't it be better to keep the patch support in android_configure.py and only remove the actual patch? We might need to apply another patch in the future, no?

I understand your point, however, the patch was initially intended as a compromise, and all issues that arise should be addressed at their source, rather than being temporarily mitigated through patches.

But again, I think it's going to take some time to transition, so let's keep the patch for now, and thank you for your input.