20b2118dc4
fdio_pipe_half is now the same as fdio_pipe_half2. We can complete the migration by switch back to the cleaner name. Change-Id: I6fbec450b9e2e1a4be1e68b8f9281e4d3e370e07 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/104805 Auto-Submit: Adam Barth <abarth@google.com> Reviewed-by: Zach Anderson <zra@google.com> Commit-Queue: Zach Anderson <zra@google.com>