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

Trivial merge