- From: Dominique Hazael-Massieux via GitHub <sysbot+gh@w3.org>
- Date: Thu, 10 Dec 2020 16:12:55 +0000
- To: public-webrtc-logs@w3.org
from a process perspective merging them in is OK; but the concerns about introducing late bugs in what looks editorial is also reasonable. My guess is that if enough eyeballs have taken a hard look at the PR, then merging should be OK. -- GitHub Notification of comment by dontcallmedom Please view or discuss this issue at https://github.com/w3c/webrtc-pc/pull/2614#issuecomment-742620289 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 10 December 2020 16:12:56 UTC