tree 26679a85d54d91b079906b391bf1dad07fb56018
parent 9877cc0c44abd9e4162a2ba0a299456f8f721d6b
author Brian Wilkerson <brianwilkerson@google.com> 1601422928 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1601422928 +0000

Fix the formatting of a header

Change-Id: I9f0b7b564d71cf30fe3d5ac41e67c71ae3e3ee40
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/165146
Auto-Submit: Brian Wilkerson <brianwilkerson@google.com>
Commit-Queue: Brian Wilkerson <brianwilkerson@google.com>
Commit-Queue: Kathy Walrath <kathyw@google.com>
Reviewed-by: Kathy Walrath <kathyw@google.com>