W3C home > Mailing lists > Public > public-webrtc@w3.org > September 2020

[webrtc-pc] Pull Request: editorial: fix indent of [Exposed=Window]

From: Philipp Hancke via GitHub <sysbot+gh@w3.org>
Date: Thu, 10 Sep 2020 14:44:39 +0000
To: public-webrtc@w3.org
Message-ID: <pull_request.opened-483948600-1599749077-sysbot+gh@w3.org>
fippo has just submitted a new pull request for https://github.com/w3c/webrtc-pc:

== editorial: fix indent of [Exposed=Window] ==
![image](https://user-images.githubusercontent.com/289731/92747858-e4517e00-f384-11ea-8c89-6e86add81494.png)
looks ugly ;-)

See https://github.com/w3c/webrtc-pc/pull/2573


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 10 September 2020 14:44:41 UTC

This archive was generated by hypermail 2.4.0 : Thursday, 10 September 2020 14:44:41 UTC