- From: Johannes Wilm <notifications@github.com>
- Date: Sat, 24 Jul 2021 02:42:25 -0700
- To: w3c/editing <editing@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Saturday, 24 July 2021 09:42:38 UTC
@gked @BoCupp-Microsoft What is the status here? Can we get these changes merged? The document has been moved since so we'll need to update the PR - or have it all be merged through an alternative PR as you mentioned earlier. -- 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/pull/251#issuecomment-886028066
Received on Saturday, 24 July 2021 09:42:38 UTC