What's the status of "ErratumRaised" pull requests

Can somebody remind me what happens with pull requests that have been 
marked as "ErratumRaised"? Are they accepted and just waiting to be merged?

https://github.com/w3c/wcag/pulls?q=is%3Aopen+is%3Apr+author%3A%40me+label%3AErratumRaised

-- 
Patrick H. Lauke

* https://www.splintered.co.uk/
* https://github.com/patrickhlauke
* https://flickr.com/photos/redux/
* https://mastodon.social/@patrick_h_lauke

Received on Wednesday, 31 July 2024 09:32:15 UTC