W3C home > Mailing lists > Public > public-webrtc-logs@w3.org > December 2022

[webrtc-extensions] Pull Request: editorial: fix spelling of HeaderExtensionsNegotiated slot

From: Philipp Hancke via GitHub <sysbot+gh@w3.org>
Date: Thu, 01 Dec 2022 13:38:46 +0000
To: public-webrtc-logs@w3.org
Message-ID: <pull_request.opened-1141875894-1669901924-sysbot+gh@w3.org> 
fippo has just submitted a new pull request for https://github.com/w3c/webrtc-extensions:

== editorial: fix spelling of HeaderExtensionsNegotiated slot ==
and remove a spurious backslash.

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


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 1 December 2022 13:38:47 UTC

This archive was generated by hypermail 2.4.0 : Saturday, 6 May 2023 21:19:59 UTC