Re: [w3c/editing] updating agenda (#208)

Merged #208 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/208#event-2630937911

Received on Friday, 13 September 2019 00:52:02 UTC