tree a9e80bbb899742e382547d161f33f41138cef800
parent 33ba6db0d7bde2ea057bdca645049daad36a0495
parent 1ec31ea20028a2eb52573ee3fa1f8013fb201650
author Wei Wang <wvw@google.com> 1521854611 +0000
committer android-build-merger <android-build-merger@google.com> 1521854611 +0000

Merge "Move boottime tools to system/extra" into pi-dev am: 99130c5c6c
am: 1ec31ea200

Change-Id: I0c4b7771b224721dd59d52aa43b4f485a404e61f