tree d8b5eeb4aa9675948e83e55a72fcc1b997fc6b18
parent 84cd49385c081eac66ce675bbf724324785305a8
author David Benjamin <davidben@google.com> 1488479903 -0500
committer CQ bot account: commit-bot@chromium.org <commit-bot@chromium.org> 1488480314 +0000

Sync util/bot with Chromium.

Change-Id: Iad15c9b824ca48e6c8a0e5f74fb2d296b3c1170e
Reviewed-on: https://boringssl-review.googlesource.com/14032
Commit-Queue: David Benjamin <davidben@google.com>
Commit-Queue: Adam Langley <agl@google.com>
Reviewed-by: Adam Langley <agl@google.com>
CQ-Verified: CQ bot account: commit-bot@chromium.org <commit-bot@chromium.org>