tree aba4f56e14a33f4b7e7f3f6f361209312cf350f9
parent 80f80b939189d2670280fe6c71f23bf162b91ccc
parent 5b3b1e8d016407f7322090cd0616fa54c858254f
author Nicolas Lacasse <nlacasse@google.com> 1443469019 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1443469019 +0000

Merge "TBR: js.core: Replace "v23" (the tool name) with "jiri"."