commit | 70c1a8fade2967453663d0ffed0f137f06555fff | [log] [tgz] |
---|---|---|
author | Vladimir Marko <vmarko@google.com> | Mon Dec 14 10:24:12 2015 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Mon Dec 14 10:24:12 2015 +0000 |
tree | 297ddee3c509bbb25fcc5d700a97b15d63296dae | |
parent | 4113b97bd738570fa28a450720cf14810a9f8292 [diff] | |
parent | 351dddf4025f07477161209e374741f089d97cb4 [diff] |
Merge "Optimizing: Clean up after HRor."