Re: [whatwg/dom] Catch errors while upgrading customized built-in elements (#797) from Domenic Denicola on 2019-12-02 (public-webapps-github@w3.org from December 2019)

From: Domenic Denicola <notifications@github.com>
Date: Mon, 02 Dec 2019 12:38:01 -0800
To: whatwg/dom <dom@noreply.github.com>
Cc: Subscribed <subscribed@noreply.github.com>
Message-ID: <whatwg/dom/pull/797/c560570368@github.com>

Filed https://github.com/tobie/specref/issues/571 on the build error, although we could probably get around it by changing [HR-TIME] to [HR-TIME-2] everywhere.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/whatwg/dom/pull/797#issuecomment-560570368

Received on Monday, 2 December 2019 20:38:03 UTC