commit | 85806723695120d183e85e9d12d52340b839b781 | [log] [tgz] |
---|---|---|
author | Nicolas Geoffray <ngeoffray@google.com> | Tue Apr 14 15:35:23 2015 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Tue Apr 14 15:35:24 2015 +0000 |
tree | 792a11dfdd9f943017b575e99557da36e5bc43bd | |
parent | e015a31e509c3f4de8a90b57b77329ba6609ce2f [diff] | |
parent | 5f4886aad49b48cdc6945e3094549145c0914fe8 [diff] |
Merge "Fix a bug in type propagation."