- From: Johannes Wilm <notifications@github.com>
- Date: Tue, 02 Jun 2020 06:44:41 -0700
- To: w3c/editing <editing@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Tuesday, 2 June 2020 13:44:53 UTC
Ok, given that our next call is on June 12th and that @gked is on long-term holiday, what do you people think we should do? I don't have much of an opinion about what the ideal repository structure is, but in the past it was mentioned a number of times that the directory structure that I had inherited from Benjamin Peters and maintained over the last few years was not good by various other browser people, which is why I agreed to the change proposed by the Microsoft people. @marcoscaceres @LJWatson @frivoal @saschanaz @BoCupp-Microsoft -- 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/262#issuecomment-637552871
Received on Tuesday, 2 June 2020 13:44:53 UTC