tree 671bdf5d67eb98a830f8ce9f23197b3b43caa266
parent 731c36aff1c784114f6fcf79e55022b62693ec1a
parent b139277de7109cb50bde72f0a09327d85f867ce9
author Steven Moreland <smoreland@google.com> 1525310273 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1525310273 +0000

Merge "Don't override BOARD_SEPOLICY_VERS if already set."