| commit | 351dddf4025f07477161209e374741f089d97cb4 | [log] [tgz] |
|---|---|---|
| author | Vladimir Marko <vmarko@google.com> | Fri Dec 11 16:34:46 2015 +0000 |
| committer | Vladimir Marko <vmarko@google.com> | Fri Dec 11 16:54:42 2015 +0000 |
| tree | d35406fe1e975369acf8f103d0ad5e0cf2313431 | |
| parent | 58dcb021c3bd45718d0103844f4e6d55754e6501 [diff] |
Optimizing: Clean up after HRor. Change-Id: I96bd7fa2e8bdccb87a3380d063dad0dd57fed9d7