[webrtc-extensions] Pull Request: Allow discarding Illegal header extensions

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

== Allow discarding Illegal header extensions ==
Fixes #239 

See https://github.com/w3c/webrtc-extensions/pull/240


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

Received on Thursday, 14 August 2025 10:20:19 UTC