- From: Harald Alvestrand via GitHub <sysbot+gh@w3.org>
- Date: Thu, 23 Jul 2020 13:01:56 +0000
- To: public-webrtc-logs@w3.org
alvestrand has just created a new issue for https://github.com/w3c/webrtc-pc: == "Make tidy" is missing == On June 19, the Makefile was deleted, in a commit called "Replace usage of Travis and webrtc-respec-ci with github action and respec-validator" (which doesn't seem to have been a pull request). This means that "make tidy" no longer works. Should we care about HTML tidying? Please view or discuss this issue at https://github.com/w3c/webrtc-pc/issues/2558 using your GitHub account
Received on Thursday, 23 July 2020 13:02:02 UTC