[webrtc-extensions] new commits pushed by alvestrand

The following commits were just pushed by alvestrand to https://github.com/w3c/webrtc-extensions:

* In header extensions, allow discarding impossible extensions

Fixes #239
  by Harald Alvestrand
https://github.com/w3c/webrtc-extensions/commit/532de44b1e3b38f7813579096ae6e94676caca11

* Merge pull request #240 from w3c/illegal-header-extensions

Allow discarding Illegal header extensions
  by Harald Alvestrand
https://github.com/w3c/webrtc-extensions/commit/0f5e52808ed21a09bff74ad6bfb85239e4bb5698



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

Received on Thursday, 18 September 2025 13:08:50 UTC