W3C home > Mailing lists > Public > public-html@w3.org > May 2017

What is an extension?

From: Léonie Watson <tink@tink.uk>
Date: Mon, 8 May 2017 11:18:26 +0100
To: "public-html@w3.org" <public-html@w3.org>
Message-ID: <bfd70c14-72fc-0ef4-8ccf-e375f64c1a40@tink.uk>
Hello HTML,

Would appreciate your comments on this issue relating to the HTML 
extensions Note.
https://github.com/w3c/html-extensions/issues/31

Thanks.
Léonie
-- 
@LeonieWatson tink.uk Carpe diem
Received on Monday, 8 May 2017 10:19:02 UTC

This archive was generated by hypermail 2.4.0 : Saturday, 9 October 2021 18:46:21 UTC