tree d74aea5d0479b8b349c28c2bd996c22e0e015290
parent 48ad6aea221aea741d2df92926c9c6cd55ecbd4d
parent 178c56a1bab44df388804408f2f15588edd1ac96
author Treehugger Robot <treehugger-gerrit@google.com> 1547848479 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1547848479 +0000

Merge "trusty: Avoid unnecessary use of static libtrusty"