09:18
<keithamus>
annevk & Domenic I believe https://github.com/whatwg/html/pull/9965 and https://github.com/whatwg/html/pull/9963 are the last 2 PRs before we can close https://github.com/whatwg/html/issues/9832.
09:22
<Domenic>
Sorry, I've been slammed with end of year stuff, and am now taking a short vacation. Hopefully next week!
11:05
<annevk>
keithamus: merged the first, left a nit on the second
11:05
<keithamus>
Thank you kindly
11:06
<keithamus>
Enjoy the vacation Domenic!