GitLab

A few other minor cleanups, no functional changes.

Bug: 1010217
Change-Id: I9b14492cbe21699f0d2c1d86f73a4937e599c5c4
Reviewed-on: https://chromium-review.googlesource.com/c/chromium/src/+/2368414
Commit-Queue: David Bienvenu <davidbienvenu@chromium.org>
Reviewed-by: Nico Weber <thakis@chromium.org>
Cr-Commit-Position: refs/heads/master@{#801785}