diff options
| author | Fabricio Voznika <fvoznika@google.com> | 2020-08-18 18:50:24 -0700 |
|---|---|---|
| committer | Rahat Mahmood <46939889+mrahatm@users.noreply.github.com> | 2020-08-19 11:38:34 -0700 |
| commit | cf38ac1c6c32b4c514bb56fc70073788835f3766 (patch) | |
| tree | 01415445bd2b22383752a96e17a632c9c66a2fe2 /tools | |
| parent | e38e559d23ddc92cf9f94ad4207e2ea48bf4c8df (diff) | |
Add more information to panic when device ID don't match
PiperOrigin-RevId: 327351357
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions