- From: Johannes Wilm <notifications@github.com>
- Date: Wed, 25 Aug 2021 10:36:33 -0700
- To: w3c/editing <editing@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Wednesday, 25 August 2021 17:36:45 UTC
@travisleithead This is now ready to be merged. But there is an IPR issue. Grisha was part of the WG when he wrote this code and made the PR. Can we still merge this or do we need him to join the WG as an invited expert? -- 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/265#issuecomment-905736488
Received on Wednesday, 25 August 2021 17:36:45 UTC