- From: Johannes Wilm <notifications@github.com>
- Date: Thu, 05 Aug 2021 12:08:23 -0700
- To: w3c/editing <editing@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Thursday, 5 August 2021 19:08:36 UTC
@BoCupp-Microsoft @travisleithead I will put this on the agenda for the next call. If it can be resolved before then, we can remove it from the agenda again. Basically, the question is whether there is a new PR being developed somewhere that addresses the feedback that was collected in this PR or whether that is not the case. If it is not the case, should we put it on someone's todo list to create such a PR? -- 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-893714487
Received on Thursday, 5 August 2021 19:08:36 UTC