commit | 1d5287ccb5eade2fcb94e75676d422c498b26139 | [log] [tgz] |
---|---|---|
author | Nicolas Geoffray <ngeoffray@google.com> | Wed Jun 01 10:02:38 2016 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Wed Jun 01 10:02:39 2016 +0000 |
tree | 2712109d35b5c91542af4c2b72af9c0e69395462 | |
parent | a21decf759af7dc29f64ff7ee02a758397578cd3 [diff] | |
parent | c5809c3c31814e80a19c71adca306378281f2ab4 [diff] |
Merge "Add missing calls to `RecordSimplification()`."