- From: Johannes Wilm <notifications@github.com>
- Date: Thu, 27 Jan 2022 12:14:27 -0800
- To: w3c/editing <editing@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Thursday, 27 January 2022 20:14:39 UTC
Merged #388 into gh-pages. -- Reply to this email directly or view it on GitHub: https://github.com/w3c/editing/pull/388#event-5966472792 You are receiving this because you are subscribed to this thread. Message ID: <w3c/editing/pull/388/issue_event/5966472792@github.com>
Received on Thursday, 27 January 2022 20:14:39 UTC