- From: Travis Leithead <notifications@github.com>
- Date: Fri, 06 Aug 2021 16:42:56 -0700
- To: w3c/editing <editing@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Friday, 6 August 2021 23:43:08 UTC
@johanneswilm yes, it looks like PR https://github.com/w3c/editing/pull/251 is actually the "non-messy" version of this PR that @gked promised. I think it's safe to close this PR unmerged at this point and focus on the one. (I'll transfer your Agenda+ label to that PR so that it can be discussed next week too. -- 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-894568152
Received on Friday, 6 August 2021 23:43:08 UTC