Re: [whatwg/dom] Editorial: modernize formatting (mainly Mutation algorithms) (#803)

Merged #803 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/803#event-2861184392

Received on Friday, 6 December 2019 12:23:43 UTC