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

From: andypaicu <notifications@github.com>
Date: Wed, 12 Dec 2018 06:20:47 -0800
To: whatwg/dom <dom@noreply.github.com>
Cc: Subscribed <subscribed@noreply.github.com>
Message-ID: <whatwg/dom/pull/721/c446603747@github.com>

I've updated this PR to match the changes in the HTML PR.

-- 
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-446603747

Received on Wednesday, 12 December 2018 14:21:10 UTC