Merge android-platform-art (8.1.0+r23-3+rpi1) import into refs/heads/workingbranch
authorPeter Michael Green <plugwash@raspbian.org>
Tue, 19 Mar 2019 01:31:47 +0000 (01:31 +0000)
committerPeter Michael Green <plugwash@raspbian.org>
Tue, 19 Mar 2019 01:31:47 +0000 (01:31 +0000)

Trivial merge