tree 901f370da6bd2c7ae3803365beb782a7afea799b
parent 5b52dfccf563824f273295a978ddd9404c16492b
author Brian Wilkerson <brianwilkerson@google.com> 1602430700 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1602430700 +0000

Mark diagnostics for which documentation has been published as having published docs

Change-Id: I749bd5e35dbb2cb54f21fa8cb5f1ccc1ebf14c64
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/167040
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>
Commit-Queue: Brian Wilkerson <brianwilkerson@google.com>