OSDN Git Service

Merge "Clean up after verifier changes wrt. conflict/undefined reg."
authorVladimir Marko <vmarko@google.com>
Wed, 15 Jul 2015 17:06:39 +0000 (17:06 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Wed, 15 Jul 2015 17:06:41 +0000 (17:06 +0000)

Trivial merge