Re: [whatwg/dom] Editorial: gsnedders's name changed (#733)

Merged #733 into master.

-- 
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/733#event-2130707499

Received on Monday, 11 February 2019 14:28:57 UTC