tree c00495c0b7991201db3803271b8ee29895cbf57e
parent 36d3295ad8d0864c0dfa0caa096478ca1ee40ce8
parent f7874c206d8e6e11c1b2975366634920a4a8f5d5
author Xin Li <delphij@google.com> 1599088604 +0000
committer Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com> 1599088604 +0000

[automerger skipped] Merge RP1A.200720.011 am: f7874c206d -s ours

am skip reason: Change-Id Id406220b753ac71fbd692801f0e4237c82c8bc1a with SHA-1 08c688dd22 is in history

Original change: https://googleplex-android-review.googlesource.com/c/device/google/coral-sepolicy/+/12514213

Change-Id: I2645150dc1577a6fba2a72b77a321807e37e1d12