[webrtc-identity] Pull Request: Small editorial fixes from Dominique Hazael-Massieux via GitHub on 2022-06-09 (public-webrtc-logs@w3.org from June 2022)

From: Dominique Hazael-Massieux via GitHub <sysbot+gh@w3.org>
Date: Thu, 09 Jun 2022 08:48:27 +0000
To: public-webrtc-logs@w3.org
Message-ID: <pull_request.opened-962587913-1654764505-sysbot+gh@w3.org>

dontcallmedom has just submitted a new pull request for https://github.com/w3c/webrtc-identity:

== Small editorial fixes ==
None

See https://github.com/w3c/webrtc-identity/pull/38


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Thursday, 9 June 2022 08:48:28 UTC