tree 9700f8eb87be55c2cf272e12a6e1713dff7fa18a
parent 0983f29fc1ff19f7d249d0aca07bbaed68608ff0
parent c8df033cbca7c10bf11928fd591805784bfae7db
author Nicolas Lacasse <nlacasse@google.com> 1443469020 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1443469020 +0000

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