My hunch is that this doesn't really affect the Android SDK, but since
it was easy to include the patch, I just did it anyway.

Reply via email to