OSDN Git Service

Merge "Revert "Do not update the type of something we already know.""
authorCalin Juravle <calin@google.com>
Mon, 29 Jun 2015 11:43:39 +0000 (11:43 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Mon, 29 Jun 2015 11:43:40 +0000 (11:43 +0000)
commit2e232ce8c7e7accc1b9654f111266d28fe45b08d
tree7fd4c83fd14e5ef91e3d856ecd33a8a45f3665ac
parentf67156eb8027fb0be7e2e3ec5fdb4323134ae10d
parent63107a804ce17db9789051e1fe310d99d1dae1cb
Merge "Revert "Do not update the type of something we already know.""