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 message: [ Message body ]
Next message: Martin Thomson: "Re: Face-to-Face Agenda Update"
Previous message: Kagami Sascha Rosylight via GitHub: "[webrtc-pc] RTCPeerConnection incorrectly adds operation overload via a partial interface"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]
Help: [ How to use the archives ] [ Search in the archives ]

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