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