Re: W3C diff tool isn't working.

From: Thierry MICHEL <tmichel@w3.org>
Date: Fri, 3 Aug 2018 12:33:57 +0200
To: Philippe Le Hégaret <plh@w3.org>, W3C Public TTWG <public-tt@w3.org>
Message-ID: <a90591a6-61a2-63a7-1388-083345fba85b@w3.org>

Attachments

text/html attachment: stored

Received on Friday, 3 August 2018 10:34:00 UTC