tree 2b2a07d65864c869f1d0a5fbee3777e783f31864
parent 2ebe95ff2a69cb57ddd1be7da0de8a96835a9d0d
parent 1efc4849d7436d258460789a3ae83178bfef1abd
author Tom Cherry <tomcherry@google.com> 1573774650 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1573774650 +0000

Merge "init: make CheckPropertyTriggers() more efficient"