05:57
<annevk>
Dominic Farolino: I suspect next week, yes
05:57
<annevk>
Panos Astithas: seems okay to cancel to me
06:15
<annevk>
Dominic Farolino: also, maybe you could elaborate a bit on your plan as not all the PRs seem ready. How are we not going to end up with an inconsistent state?
14:43
<jarhar>
some of the PRs define the same concept about how to find the association between option and select elements i think, but i can easily resolve those merge conflicts
14:43
<jarhar>
i split up the PRs as best i could to make them independent to make them easier to review
14:43
<jarhar>
i am confident there wont be an inconsistent state
14:44
<jarhar>
would it help for me to merge them all together into a separate mega PR?
15:32
<annevk>
I think it's fine to keep them separate, though if they have conflicts that will present some issues.
16:13
<annevk>
bakkot: it's happening: https://github.com/whatwg/html/pull/11143 (first real Float16Array dep I'm aware of and the OG use case)
16:15
<bakkot>
🎉 glad that work ended up being useful
16:15
<bakkot>
of course it was mostly other people who did the actual work but I'd have felt bad if I prompted them to do implementations and then it wasn't actually used