Re: [pointerevents] Please don't <dfn> Element (#333)

@plehegar the problem is not the partial, it's the heading above. I.e., "Extensions to the Element interface" contains a `<dfn>` that wraps "Element". Similar for Navigator.

-- 
GitHub Notification of comment by annevk
Please view or discuss this issue at https://github.com/w3c/pointerevents/issues/333#issuecomment-701991841 using your GitHub account


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Thursday, 1 October 2020 08:54:17 UTC