- From: Mattias Buelens <notifications@github.com>
- Date: Wed, 12 Aug 2020 12:41:41 -0700
- To: whatwg/streams <streams@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Wednesday, 12 August 2020 19:41:54 UTC
@MattiasBuelens commented on this pull request. > - <p class="note">The case where |stream|.\[[state]] is "`closed`", but |stream|.\[[closeRequested]] + <p class="note">The case where |stream|.[=ReadableStream/[[state]]=] is "`closed`", but |stream|.[=ReadableStream/[[controller]]=].\[[closeRequested]] Indeed, it seems redundant. I'll delete it. 🙂 -- 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/1050#discussion_r469496740
Received on Wednesday, 12 August 2020 19:41:54 UTC