| commit | 45d75c6194075f1c4e3372159cca533a301cabfd | [log] [tgz] |
|---|---|---|
| author | Treehugger Robot <treehugger-gerrit@google.com> | Thu Dec 15 20:06:02 2016 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Thu Dec 15 20:06:02 2016 +0000 |
| tree | 98bf2f6981bbca9b1c6c0f11e609f67462d63041 | |
| parent | 995a7db371c3d09b47cf4b02ddbed20e0e4bacae [diff] | |
| parent | 38f63010e34f803fbac78be90039d737a2c69044 [diff] |
Merge "Modify reporting when only true divergences are requested."