Re: [w3c/editing] Remove duplicate pickling explainer sections (#311)

Merged #311 into gh-pages.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/w3c/editing/pull/311#event-4949800475

Received on Monday, 28 June 2021 20:50:40 UTC