- From: Dominique Hazael-Massieux via GitHub <sysbot+gh@w3.org>
- Date: Thu, 13 Jun 2019 13:54:05 +0000
- To: public-webrtc-logs@w3.org
the problem is in the tool used by our CI script, not with the PR; I'll try to get the tool fixed ASAP -- GitHub Notification of comment by dontcallmedom Please view or discuss this issue at https://github.com/w3c/webrtc-pc/pull/2200#issuecomment-501712684 using your GitHub account
Received on Thursday, 13 June 2019 13:54:07 UTC