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

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

From: Harald Alvestrand via GitHub <sysbot+gh@w3.org>
Date: Thu, 28 Jun 2018 10:35:09 +0000
To: public-webrtc-logs@w3.org
Message-ID: <issue_comment.created-400991237-1530182108-sysbot+gh@w3.org>
But it invalidates all outstanding PRs.
Best done when there are no outstanding PRs.
Next best done after an editors' meeting, when the PRs remaining need changes anyway.

GitHub Notification of comment by alvestrand
Please view or discuss this issue at https://github.com/w3c/webrtc-pc/pull/1898#issuecomment-400991237 using your GitHub account
Received on Thursday, 28 June 2018 10:35:12 UTC

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