tree 297ddee3c509bbb25fcc5d700a97b15d63296dae
parent 4113b97bd738570fa28a450720cf14810a9f8292
parent 351dddf4025f07477161209e374741f089d97cb4
author Vladimir Marko <vmarko@google.com> 1450088652 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1450088652 +0000

Merge "Optimizing: Clean up after HRor."