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

[webrtc-pc] new commits pushed by dontcallmedom

From: Dominique Hazael-Massieux via GitHub <sysbot+gh@w3.org>
Date: Wed, 12 Oct 2022 08:51:16 +0000
To: public-webrtc-logs@w3.org
Message-ID: <push-560d0bbfde6d5ed4ee7bb2f010135865319e8887-1665564674-sysbot+gh@w3.org>

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

* Fix check-amendment script
  by Dominique Hazael-Massieux
https://github.com/w3c/webrtc-pc/commit/560d0bbfde6d5ed4ee7bb2f010135865319e8887



-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 12 October 2022 08:51:18 UTC

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