W3C home > Mailing lists > Public > public-webrtc-logs@w3.org > October 2017

Re: [webrtc-stats] "Make tidy" is broken?

From: Vivien Lacourba via GitHub <sysbot+gh@w3.org>
Date: Tue, 24 Oct 2017 14:36:36 +0000
To: public-webrtc-logs@w3.org
Message-ID: <issue_comment.created-339012163-1508855795-sysbot+gh@w3.org>
Fixed in https://github.com/w3c/webrtc-respec-ci/commit/f804919971d1aaae235f81249ccc819f26f076da

FYI `make clean` only removes generated files (in does not clean nor reformat the source document).

-- 
GitHub Notification of comment by vivienlacourba
Please view or discuss this issue at https://github.com/w3c/webrtc-stats/issues/263#issuecomment-339012163 using your GitHub account
Received on Tuesday, 24 October 2017 14:36:39 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 9 October 2019 15:14:56 UTC