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)

Trivial merge