Re: [w3c/editing] Updated the intro material to better reflect the current status. (#302)

It should be reopened, but I don't seem to have permissions to do that. If I understand correctly there should be a "Reopen pull request" button beneath this comment box, but there isn't one.
![reopen](https://user-images.githubusercontent.com/8531686/126865070-bb9bc882-7441-4474-9c0a-0cd4fae1d32e.jpg)



-- 
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/302#issuecomment-886030231

Received on Saturday, 24 July 2021 10:02:52 UTC