- From: Johannes Wilm <notifications@github.com>
- Date: Wed, 25 Aug 2021 10:48:40 -0700
- To: w3c/editing <editing@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Wednesday, 25 August 2021 17:48:53 UTC
As this was a request on changing a PR that was deleting a part of the existing text, we simply don't merge the part that was deleting the `DOMCommandTokenList` and its `supported` attribute. A new issue will be filed that the part about `DOMCommandTokenList` may require some cleanup. -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/w3c/editing/issues/272#issuecomment-905746033
Received on Wednesday, 25 August 2021 17:48:53 UTC