Commit d02c8aca1a0a01e2eb4ad6af72c173790fe1bcba

Bruno Haible 2018-05-10T20:43:28

doc: More tweaks for Android 9.0.