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 message: [ Message body ]
Next message: Martin Thomson via GitHub: "Re: [webrtc-pc] The same connection.peerIdentity promise can be resolved multiple times"
Previous message: ekr via GitHub: "Re: [webrtc-pc] How is port number specified when verifying peer identity's assertion?"
Next in thread: Harald Alvestrand via GitHub: "Re: [webrtc-pc] It's not that hard to run tidy"
Reply: Harald Alvestrand via GitHub: "Re: [webrtc-pc] It's not that hard to run tidy"

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 : Saturday, 6 May 2023 21:19:44 UTC