[webrtc-identity] Pull Request: Small editorial fixes

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