w3c / webrtc-pc

WebRTC 1.0 API
https://w3c.github.io/webrtc-pc/
Other
438 stars 115 forks source link

Improve amendment management #2995

Closed dontcallmedom closed 2 months ago

dontcallmedom commented 2 months ago

This offers a significantly improved infrastructure to manage the amendments to the WebRTC Recommendation.

In particular:

In addition, this fixes a number of amendments that had not been properly classified.

https://github.com/speced/respec/pull/4786 will be needed to ensure the resulting generated markup is valid.


Preview | Diff

dontcallmedom commented 2 months ago

this is now ready to be merged and would benefit from being merged rapidly since it impacts other pull requests documenting amendments (e.g. #2988) cc @jan-ivar @alvestrand