tree 27d26742366da0a9332eac4e97a8b90f56765d09
parent 6b37c7b32af667f6a42b397a27add34d3c59e5fa
parent c1cba699701da30049fac564fe53c8448d19e9bd
author Shinichiro Hamaji <hamaji@google.com> 1443155677 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1443155677 +0000

Merge "Make it possible to change the number of remote jobs"