Re: [whatwg/dom] Added a duplicate attribute present member to element (#721) from Anne van Kesteren on 2018-12-10 (public-webapps-github@w3.org from December 2018)

From: Anne van Kesteren <notifications@github.com>
Date: Mon, 10 Dec 2018 07:45:53 -0800
To: whatwg/dom <dom@noreply.github.com>
Cc: Subscribed <subscribed@noreply.github.com>
Message-ID: <whatwg/dom/pull/721/c445862232@github.com>

Nothing wrong here as far as I can tell, though it makes me wonder whether we can deduplicate somehow.

Leaving this until https://github.com/whatwg/html/pull/4223#pullrequestreview-183247749 is resolved though.

-- 
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/721#issuecomment-445862232

Received on Monday, 10 December 2018 15:46:15 UTC