GitLab

Until http://crrev.com/c/devtools/devtools-frontend/+/1872581 is merged.

Bug: 1016772
Change-Id: I7322b65b3b0aff789aba909f326c6306eec619d4
Reviewed-on: https://chromium-review.googlesource.com/c/chromium/src/+/1888670Reviewed-by: Yang Guo <yangguo@chromium.org>
Commit-Queue: Ingvar Stepanyan <rreverser@google.com>
Cr-Commit-Position: refs/heads/master@{#710492}