commit | eea41348e1439a3832f21892b9e051aec67ff9a5 | [log] [tgz] |
---|---|---|
author | Steven Moreland <smoreland@google.com> | Thu May 03 01:17:53 2018 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Thu May 03 01:17:53 2018 +0000 |
tree | 671bdf5d67eb98a830f8ce9f23197b3b43caa266 | |
parent | 731c36aff1c784114f6fcf79e55022b62693ec1a [diff] | |
parent | b139277de7109cb50bde72f0a09327d85f867ce9 [diff] |
Merge "Don't override BOARD_SEPOLICY_VERS if already set."