tree b56fa67c736da1b390971b5e8fba734ad59c287c
parent 60ef62a889f37ccdfd26c33541e36c137f68d977
author Johnni Winther <johnniwinther@google.com> 1600352540 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1600352540 +0000

[kernel] Remove @deprecated annotation

Change-Id: I86b651978768b164e66b83ee319b226c106ae2d4
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/163203
Reviewed-by: Clement Skau <cskau@google.com>
Commit-Queue: Johnni Winther <johnniwinther@google.com>