Re: [whatwg/dom] Meta: default branch rename (#943)

Merged #943 into main.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/whatwg/dom/pull/943#event-4209755922

Received on Friday, 15 January 2021 07:38:21 UTC