tree fe4f8a1800206a95ca8486454ffb9807e3b81240
parent 9d03661eb2922722469d806d11c73fc8dacfae6c
parent a4369781fb87a35b82a8de753afb282ec18fafe3
author Nicolas Lacasse <nlacasse@google.com> 1443469013 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1443469013 +0000

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