[TaskScheduler] Migrate a few more headers missed in //third_party
This is the //third_party equivalent to https://chromium-review.googlesource.com/c/chromium/src/+/1161179 (DEPS tweak will soon be recovered to moved header in https://chromium-review.googlesource.com/c/chromium/src/+/1161116) TBR=skyostil@chromium.org Bug: 867421 Change-Id: I607bf6caa71dda52e3290d59daaac568c2cba626 Reviewed-on: https://chromium-review.googlesource.com/1162639 Commit-Queue: Gabriel Charette <gab@chromium.org> Reviewed-by:Gabriel Charette <gab@chromium.org> Cr-Commit-Position: refs/heads/master@{#580784}
Showing
Please register or sign in to comment