OSDN Git Service

Merge "Revert "Revert "Do not update the type of something we already know."""
authorNicolas Geoffray <ngeoffray@google.com>
Mon, 29 Jun 2015 13:04:19 +0000 (13:04 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Mon, 29 Jun 2015 13:04:20 +0000 (13:04 +0000)
commitf91d27c907589c2b678315793992f09f9acc2e8b
treef2fb9f91e1d29f15c168e7966a1d23bfa92a9dec
parent2e232ce8c7e7accc1b9654f111266d28fe45b08d
parentf9a199571417b5a5a62d94d05a064077e14dd2c4
Merge "Revert "Revert "Do not update the type of something we already know."""