Re: [webrtc-extensions] Suggestion: rename [[HeaderExtensionsToOffer]] to [[HeaderExtensionsSupported]] (#132)

Completed as part of https://github.com/w3c/webrtc-extensions/pull/142

-- 
GitHub Notification of comment by henbos
Please view or discuss this issue at https://github.com/w3c/webrtc-extensions/issues/132#issuecomment-1452144098 using your GitHub account


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

Received on Thursday, 2 March 2023 16:18:12 UTC