- From: henbos via GitHub <sysbot+gh@w3.org>
- Date: Thu, 17 Sep 2020 14:08:54 +0000
- To: public-webrtc-logs@w3.org
The following commits were just pushed by henbos to https://github.com/w3c/webrtc-pc: * editorial: fix indent of [Exposed=Window] by Philipp Hancke https://github.com/w3c/webrtc-pc/commit/e573f9c8acc0953c6296478ce819a843265b013f * move to previous line by Philipp Hancke https://github.com/w3c/webrtc-pc/commit/96c1d6b9b485dd14d485981b975de241385539e9 * Merge pull request #2573 from fippo/ws-fixes editorial: fix indent of [Exposed=Window] by henbos https://github.com/w3c/webrtc-pc/commit/9b7cf100638edf62f35c689bb48e69acf64a32f3 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 17 September 2020 14:08:56 UTC