tree 79f2a82f223026a7191f7e5ab135ea8564ec5e08
parent dbc4aa1dedf482050229e7dd3f44e51230136c92
parent 48383c806af629bb755ce120ba30e8cb70eb5f23
author android-build-prod (mdb) <android-build-team-robot@google.com> 1525297383 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1525297383 +0000

Merge "tombstoned: don't create tombstones for failed dumps."