| commit | 0239c439e4e493de9b6af1f04ace326c8210cb28 | [log] [tgz] |
|---|---|---|
| author | Aart Bik <ajcbik@google.com> | Tue Dec 20 20:46:20 2016 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Tue Dec 20 20:46:20 2016 +0000 |
| tree | 78b4bb48bf2f9a13b5dfc7fdc88e43e45a5e50c9 | |
| parent | 364fedb63fee3b08918ccd2adb44dbf35cc42724 [diff] | |
| parent | 74da5290dd5cc040bee5430796715bd9302036c2 [diff] |
Merge "Fix transfer over rejected induction."