tree 83d6e1ce381e95d7eda8fa8b1afc322e4af6873e
parent a95a3de12f86777709c3b1f1cb4b70c987492bf9
author Nicolas Lacasse <nlacasse@google.com> 1443202106 -0700
committer Nicolas Lacasse <nlacasse@google.com> 1443202106 -0700

TBR: mojo.shared: Replace "v23" (the tool name) with "jiri".

MultiPart: 9/17
Change-Id: I380564228357ac6f48d91bd152b4af9b26c66d5d