| 06:57 | <MikeSmith> | annevk: is the DOM issue at https://github.com/whatwg/dom/issues/793 just a duplicate of https://github.com/whatwg/html/issues/5066 and https://github.com/whatwg/html/issues/5067? |
| 06:57 | <MikeSmith> | I mean, if the potential resolution is going to be in the infra spec anyway |
| 06:58 | <MikeSmith> | or is it really a separate issue? |
| 08:03 | <annevk> | MikeSmith: it’s DOM-specific in so far the general issue affects DOM so prolly good to track it there too |
| 08:26 | <MikeSmith> | annevk: ok |