- From: Johannes Wilm <notifications@github.com>
- Date: Mon, 11 May 2020 23:50:56 -0700
- To: w3c/editing <editing@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Tuesday, 12 May 2020 06:51:08 UTC
We decided on the call on Friday to do as you say and put it back into Archived. It does not prevent us from editing the file when need be. -- 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/245#issuecomment-627148935
Received on Tuesday, 12 May 2020 06:51:08 UTC