OSDN Git Service

Merge "Do not update the type of something we already know."
authorNicolas Geoffray <ngeoffray@google.com>
Mon, 29 Jun 2015 11:03:34 +0000 (11:03 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Mon, 29 Jun 2015 11:03:35 +0000 (11:03 +0000)
commitf67156eb8027fb0be7e2e3ec5fdb4323134ae10d
treec7e6c59d235e871a84b4fe3d542e55f454b861fe
parentd1c897df8818f2329492f9befb046927be390d90
parent30eb58c548bee08468f68eb140a74a51dd7d9b43
Merge "Do not update the type of something we already know."