OSDN Git Service

Merge "Use a flag from the verifier to know if we should compile."
authorNicolas Geoffray <ngeoffray@google.com>
Wed, 24 Jun 2015 16:14:30 +0000 (16:14 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Wed, 24 Jun 2015 16:14:31 +0000 (16:14 +0000)

Trivial merge