Re: [w3c/manifest] Editorial: don't reference WebIDL identifier (PR #1237)

Merged #1237 into main.

-- 
Reply to this email directly or view it on GitHub:
https://github.com/w3c/manifest/pull/1237#event-29415084247
You are receiving this because you are subscribed to this thread.

Message ID: <w3c/manifest/pull/1237/issue_event/29415084247@github.com>

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