10:51
<andreubotella>
annevk: https://github.com/whatwg/encoding/pull/215 is now ready for a final review
10:52
<andreubotella>
the original commit message would have to be changed, so I'm not sure if you want me to squash or rebase and when
10:52
<andreubotella>
and for that matter, I'm not sure that PR is editorial anymore, since it arguably introduces the blocking behavior
11:11
<annevk>
andreubotella: maybe put a tentative commit title/body in a comment? I can use GitHub UI to squash merge
11:12
<andreubotella>
ok
14:51
<haggar>
Is this the best place to talk about Firefox DOM structures?
14:54
<MikeSmith>
haggar: I guess the better place would be the #developers channel on https://chat.mozilla.org/, or some other channel there