Commit 311ae829c77df3ba7ac7fefcda39ee46086a0b1b

Sylvain Becker 2020-10-28T14:03:05

Android: keep compatibility with older JDK