- From: Dominique Hazael-Massieux via GitHub <sysbot+gh@w3.org>
- Date: Fri, 01 Apr 2022 11:38:53 +0000
- To: public-webrtc-logs@w3.org
with https://github.com/w3c/respec/pull/4112 now merged, the respec bug is gone and I believe this PR can be closed unmerged. -- GitHub Notification of comment by dontcallmedom Please view or discuss this issue at https://github.com/w3c/mediacapture-region/pull/39#issuecomment-1085793056 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Friday, 1 April 2022 11:38:54 UTC