W3C home > Mailing lists > Public > public-webrtc@w3.org > June 2018

[webrtc-pc] Pull Request: It's not that hard to run tidy

From: Martin Thomson via GitHub <sysbot+gh@w3.org>
Date: Tue, 19 Jun 2018 05:03:00 +0000
To: public-webrtc@w3.org
Message-ID: <pull_request.opened-195712289-1529384571-sysbot+gh@w3.org>
martinthomson has just submitted a new pull request for https://github.com/w3c/webrtc-pc:

== It's not that hard to run tidy ==
The current draft doesn't even have a close tag for `<html>`.

See https://github.com/w3c/webrtc-pc/pull/1898
Received on Tuesday, 19 June 2018 05:03:22 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:18:42 UTC