Re: [w3c/uievents] Remove more definitions of MutationEvent and friends (PR #382) from Gary Kacmarcik on 2024-09-06 (public-webapps-github@w3.org from September 2024)

From: Gary Kacmarcik <notifications@github.com>
Date: Fri, 06 Sep 2024 15:02:24 -0700
To: w3c/uievents <uievents@noreply.github.com>
Cc: Subscribed <subscribed@noreply.github.com>
Message-ID: <w3c/uievents/pull/382/c2334866992@github.com>

Argh! I thought this PR had already been merged before I deleted the obsolete files.

Also, note that the README file has a "To make edits to the spec" section that identifies the files that need to be updated.


-- 
Reply to this email directly or view it on GitHub:
https://github.com/w3c/uievents/pull/382#issuecomment-2334866992
You are receiving this because you are subscribed to this thread.

Message ID: <w3c/uievents/pull/382/c2334866992@github.com>

Received on Friday, 6 September 2024 22:02:27 UTC