| commit | f67156eb8027fb0be7e2e3ec5fdb4323134ae10d | [log] [tgz] |
|---|---|---|
| author | Nicolas Geoffray <ngeoffray@google.com> | Mon Jun 29 11:03:34 2015 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Mon Jun 29 11:03:35 2015 +0000 |
| tree | c7e6c59d235e871a84b4fe3d542e55f454b861fe | |
| parent | d1c897df8818f2329492f9befb046927be390d90 [diff] | |
| parent | 30eb58c548bee08468f68eb140a74a51dd7d9b43 [diff] |
Merge "Do not update the type of something we already know."