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