- From: youennf via GitHub <sysbot+gh@w3.org>
- Date: Mon, 08 Mar 2021 10:25:09 +0000
- To: public-webrtc-logs@w3.org
@dontcallmedom, 'make' did not catch this missing reference. Is there a way to catch this error from existing tools? If so, could it be added to the bots processing PRs? -- GitHub Notification of comment by youennf Please view or discuss this issue at https://github.com/w3c/webrtc-insertable-streams/pull/73#issuecomment-792653932 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 8 March 2021 10:25:11 UTC