W3C diff tool isn't working.

From: Thierry MICHEL <tmichel@w3.org>
Date: Fri, 3 Aug 2018 11:35:23 +0200
To: Philippe Le Hegaret <plh@w3.org>, W3C Public TTWG <public-tt@w3.org>
Message-ID: <a8932f98-71a2-f162-d7f4-e5a4201df608@w3.org>

Attachments

text/html attachment: stored

Received on Friday, 3 August 2018 09:35:29 UTC