Commit cf12234454360fc37f9f7dad4789959e0534f161

Sylvain Becker 2019-01-04T23:11:21

Android: make Android_PumpEvents() more readable No behavior change in this commit.