Re: [whatwg/streams] What pipeTo does when both streams are closed (#647)

@domenic Here's a new attempt. Although it's not obvious from the github diff view, only one new line is added. The rest of the diff just adds indentation and changes `*` to `1.`.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/whatwg/streams/pull/647#issuecomment-294469156