- From: Johannes Wilm <notifications@github.com>
- Date: Wed, 04 Mar 2020 14:37:11 -0800
- To: w3c/editing <editing@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Wednesday, 4 March 2020 22:37:23 UTC
johanneswilm approved this pull request. In general this looks good to me. Note that several of these files really only contain a link to another file. These link files were created whenever a document changed name, so that links linking to that file would not end up being dead. This is a practice I took over from those who maintained this repository before me. If W3C rules and common practices do not require us to keep old links intact, then we might just as well delete all those files that just contain links. For example, contentEditableTyping/Events/Intentions/etc. were all the same document that just changed its name over time as our focus shifted. -- 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/233#pullrequestreview-369175895
Received on Wednesday, 4 March 2020 22:37:23 UTC