W3C home > Mailing lists > Public > public-webrtc-logs@w3.org > June 2022

Re: [webrtc-identity] Small editorial fixes (#38)

From: Dominique Hazael-Massieux via GitHub <sysbot+gh@w3.org>
Date: Thu, 09 Jun 2022 08:50:08 +0000
To: public-webrtc-logs@w3.org
Message-ID: <issue_comment.created-1150849688-1654764605-sysbot+gh@w3.org>
the CI error is unrelated (should be fixed with https://github.com/w3c/webrtc-pc/pull/2740)

-- 
GitHub Notification of comment by dontcallmedom
Please view or discuss this issue at https://github.com/w3c/webrtc-identity/pull/38#issuecomment-1150849688 using your GitHub account


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 9 June 2022 08:50:10 UTC

This archive was generated by hypermail 2.4.0 : Saturday, 6 May 2023 21:19:57 UTC