- From: guidou via GitHub <noreply@w3.org>
- Date: Thu, 17 Jul 2025 14:16:44 +0000
- To: public-webrtc-logs@w3.org
The following commits were just pushed by guidou to https://github.com/w3c/webrtc-pc: * Use [=map/exists=] and [=ordered map=] from infra by Jan-Ivar Bruaroey https://github.com/w3c/webrtc-pc/commit/271fe62fd5fc9aa7dc7a88a35872466c9c3bcec5 * and [=list/contains=] by Jan-Ivar Bruaroey https://github.com/w3c/webrtc-pc/commit/7a7f976cdb5449806da420e5fa7e3cfe80c2f329 * Merge pull request #3065 from jan-ivar/present Use [=map/exists=] and [=ordered map=] from infra by guidou https://github.com/w3c/webrtc-pc/commit/07a47162dfc4363e5186edb0fe2873c5c0b7edfd -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 17 July 2025 14:16:45 UTC