tree 97ac34b8380ce1ccbcc2dad9a7eec7d878675354
parent 4dd15cbe2462a5a1f5eb130fa7ace09d322c3e09
parent 402e4a66157925874a37e908184f7461f494030e
author Treehugger Robot <treehugger-gerrit@google.com> 1553100149 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1553100149 +0000

Merge "init: make sepolicy dependency optional"