Re: [w3c/manifest] Editorial: don't reference WebIDL identifier (PR #1237) from Daniel Murphy on 2026-08-13 (public-webapps-github@w3.org from August 2026)

From: Daniel Murphy <notifications@github.com>
Date: Thu, 13 Aug 2026 10:34:00 -0700
To: w3c/manifest <manifest@noreply.github.com>
Cc: Push <push@noreply.github.com>
Message-ID: <w3c/manifest/pull/1237/before/e1eb8089e505313a53926329d29fc7fb57659c06/after/b6>

@dmurph pushed 1 commit.

b63f312eec2e562b0b5b1c731e78f360a2444117  Merge branch 'main' into webidl

-- 
View it on GitHub:
https://github.com/w3c/manifest/pull/1237/changes/e1eb8089e505313a53926329d29fc7fb57659c06..b63f312eec2e562b0b5b1c731e78f360a2444117
You are receiving this because you are subscribed to this thread.

Message ID: <w3c/manifest/pull/1237/before/e1eb8089e505313a53926329d29fc7fb57659c06/after/b6>

Received on Thursday, 13 August 2026 17:34:04 UTC