- From: Philippe Le Hégaret <plh@w3.org>
- Date: Fri, 3 Aug 2018 05:52:23 -0400
- To: Thierry MICHEL <tmichel@w3.org>, W3C Public TTWG <public-tt@w3.org>
On 8/3/2018 5:35 AM, Thierry MICHEL wrote: > PlH, > > 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 ? I'll check with our system folks, Philippe
Received on Friday, 3 August 2018 09:52:28 UTC