W3C home > Mailing lists > Public > public-webrtc-logs@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:02:52 +0000
To: public-webrtc-logs@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:02 UTC

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