tree 80737de519812eb3303abae29d18ddad89e71a3a
parent c3b0ebd391a9357698944b1da7bf18113440f20c
author Peter von der Ahé <ahe@google.com> 1546598190 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1546598190 +0000

Change ticker name for checking supertypes

Change-Id: Id843dad34f91409ec1b317932ae2f0fa158736c6
Reviewed-on: https://dart-review.googlesource.com/c/87967
Commit-Queue: Peter von der Ahé <ahe@google.com>
Commit-Queue: Jens Johansen <jensj@google.com>
Reviewed-by: Jens Johansen <jensj@google.com>
Auto-Submit: Peter von der Ahé <ahe@google.com>