- From: Philippe Le Hégaret <plh@w3.org>
- Date: Fri, 3 Aug 2018 05:58:14 -0400
- To: Thierry MICHEL <tmichel@w3.org>, W3C Public TTWG <public-tt@w3.org>
On 8/3/2018 5:35 AM, Thierry MICHEL wrote: > We had reported in June that the W3C diff tool isn't working. > > 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. Can you send a report to our system folks? Philippe
Received on Friday, 3 August 2018 09:58:19 UTC