[webrtc-pc] Pull Request: Fix bugs in amendments

dontcallmedom has just submitted a new pull request for https://github.com/w3c/webrtc-pc:

== Fix bugs in amendments ==
* Use numeric ids everywhere in amendments
* Renumber amendments mixed up with unrelated others
* Merge duplicate key

See https://github.com/w3c/webrtc-pc/pull/2949


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Monday, 25 March 2024 15:48:23 UTC