| 08:39 | <TimothyGu> | Domenic: did you happen to miss https://github.com/whatwg/html/pull/4229? |
| 09:48 | <Ms2ger> | Given that https://www.w3.org/Bugs/Public/ is shutting down, should we migrate the WebIDL bugs to github? |
| 11:15 | <MikeSmith> | Ms2ger: that would seem to make sense yeah |
| 12:48 | <nox> | annevk: I discussed with bz yesterday, and I found out how to specify Firefox' behaviour in prose, for comparison with my own proposed changes, I'll make a comment showing the differences later today. |
| 12:57 | <gsnedders> | MikeSmith: is there any way to dump the data from there or anything? :/ |
| 12:59 | <annevk> | nox: focus handling seems good to test |
| 12:59 | <annevk> | nox: removing a focused input or some such |
| 13:03 | <MikeSmith> | gsnedders: I guess bugzilla must have some way yeah |
| 13:07 | <gsnedders> | MikeSmith: I know there's a whole load of CSS2 stuff in there, but I have no desire to get that out until I'm being paid |
| 15:02 | <Domenic> | annevk: I like "setting the document.domain attribute (in)appropriately" ^_^ |
| 15:06 | <annevk> | I was hoping you would 😃 |
| 15:31 | <MikeSmith> | I see https://github.com/WICG/html-modules just got created |
| 15:43 | <annevk> | Ugh, that should really be an HTML PR imo |
| 15:46 | <MikeSmith> | annevk: yeah |
| 15:46 | <MikeSmith> | nobody responded to your comment about that |
| 16:44 | <Ms2ger> | Domenic, any more thoughts on https://github.com/heycam/webidl/pull/635 ? |