- From: Marcos Cáceres <notifications@github.com>
- Date: Sun, 14 Sep 2025 19:20:36 -0700
- To: w3c/push-api <push-api@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Monday, 15 September 2025 02:20:40 UTC
@marcoscaceres commented on this pull request. > @@ -392,14 +392,26 @@ <h3> </dd> </dl> </dd> + <dt> + <code>app_badge</code> + </dt> + <dd> + <p> + A [=/64-bit unsigned integer=]. Described in https://github.com/w3c/badging/pull/123 -- Reply to this email directly or view it on GitHub: https://github.com/w3c/push-api/pull/402#discussion_r2347754880 You are receiving this because you are subscribed to this thread. Message ID: <w3c/push-api/pull/402/review/3222733494@github.com>
Received on Monday, 15 September 2025 02:20:40 UTC