tree 3b4836cd1c03ab03d612716d73a4ece6757ad596
parent fedcd0a6870cf4d940d231f6725ca95c590d04bd
parent 947eb700bec9e214a72d4747864398dc238da60c
author Vladimir Marko <vmarko@google.com> 1459241779 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1459241779 +0000

Merge "Optimizing: Reduce arena memory used by GraphChecker."