- From: Kevin Gibbons <notifications@github.com>
- Date: Thu, 30 May 2024 07:52:36 -0700
- To: w3c/push-api <push-api@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Thursday, 30 May 2024 14:52:40 UTC
This PR was not merged and can therefore be regarded as merely making the team aware of a change to an upstream API (i.e. the WHATWG `Body` mixin), since the API here is generally following the shape of that upstream API. Surely it is not the case that when an outside party makes the team aware of a change to another specification that requires said party to sign a patent commitment before that information can be acted upon? @marcoscaceres's PR implements the corresponding change in exactly the way I would have because there are no possible decisions about this change, but it was his PR which landed, not mine. -- Reply to this email directly or view it on GitHub: https://github.com/w3c/push-api/pull/369#issuecomment-2139793346 You are receiving this because you are subscribed to this thread. Message ID: <w3c/push-api/pull/369/c2139793346@github.com>
Received on Thursday, 30 May 2024 14:52:40 UTC