- From: David Singer <singer@mac.com>
- Date: Fri, 03 Aug 2018 10:24:39 -0700
- To: Thierry MICHEL <tmichel@w3.org>
- Cc: Philippe Le Hegaret <plh@w3.org>, W3C Public TTWG <public-tt@w3.org>
I also reported it directly to Vivien a little while back > On Aug 3, 2018, at 3:33 , Thierry MICHEL <tmichel@w3.org> wrote: > > > > On 03/08/2018 11:58, Philippe Le Hégaret wrote: >> On 8/3/2018 5:35 AM, Thierry MICHEL wrote: >>> We had reported in June that the W3C diff tool isn't working. > > By "We", I mean that some participants of the TTWG reported this issue to you back in June. > >>> It is still the case today. >>> >>> Could you please have this service run again ? >> >> Actually, looking deeper into this, I don't think we reported the issue. > > I don't know what you mean by "we" here. >> >> Can you send a report to our system folks? > > Done. >> >> Philippe > David Singer singer@mac.com
Received on Friday, 3 August 2018 17:26:13 UTC