- From: Anne van Kesteren <notifications@github.com>
- Date: Mon, 20 Jan 2025 00:37:01 -0800
- To: w3c/push-api <push-api@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Monday, 20 January 2025 08:37:05 UTC
I thought that we wanted these to be redundantly specified. Was this decided somewhere? -- Reply to this email directly or view it on GitHub: https://github.com/w3c/push-api/issues/397#issuecomment-2601752182 You are receiving this because you are subscribed to this thread. Message ID: <w3c/push-api/issues/397/2601752182@github.com>
Received on Monday, 20 January 2025 08:37:05 UTC