Re: [svgwg] Stop using the DocumentAndElementEventHandlers interface mixin (#895)

@caribouW3, Editor's Draft seems to have been re-generated (with date "21 December 2022") and yet it still says "[SVGElement](https://svgwg.org/svg2-draft/types.html#InterfaceSVGElement) includes [DocumentAndElementEventHandlers](https://html.spec.whatwg.org/multipage/webappapis.html#documentandelementeventhandlers)", even though that got removed by this PR. Any way to force a clean build of the Editor's Draft?

-- 
GitHub Notification of comment by tidoust
Please view or discuss this issue at https://github.com/w3c/svgwg/pull/895#issuecomment-1362137413 using your GitHub account


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

Received on Wednesday, 21 December 2022 21:48:21 UTC