Merge android-platform-art (11.0.0+r48-3+rpi1) import into refs/heads/workingbranch
authorPeter Michael Green <plugwash@raspbian.org>
Tue, 19 Jul 2022 11:20:55 +0000 (12:20 +0100)
committerPeter Michael Green <plugwash@raspbian.org>
Tue, 19 Jul 2022 11:20:55 +0000 (12:20 +0100)

Trivial merge