Commit d11f7615fa4da05b554361c9f0c1035b888c5ae3

Sylvain Becker 2019-01-03T13:38:33

Android: minor preparation for bug 4142 (concurrency issues)