[webrtc-svc] new commits pushed by guidou

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

* Use [=list/contains=] from infra
  by Jan-Ivar Bruaroey
https://github.com/w3c/webrtc-svc/commit/767ec1cd350700f5fcb06094f9356c4f938779a6

* Merge pull request #108 from jan-ivar/contains

Use [=list/contains=] from infra
  by guidou
https://github.com/w3c/webrtc-svc/commit/44f17e9ad7054e8d2c729a1881cdd9877add5adb



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

Received on Thursday, 17 July 2025 14:15:12 UTC