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

[webrtc-identity] new commits pushed by dontcallmedom

From: Dominique Hazael-Massieux via GitHub <sysbot+gh@w3.org>
Date: Thu, 09 Jun 2022 08:50:15 +0000
To: public-webrtc-logs@w3.org
Message-ID: <push-19856a0901b8d827d3bf3e98263c30e8b68aca12-1654764612-sysbot+gh@w3.org>

The following commits were just pushed by dontcallmedom to https://github.com/w3c/webrtc-identity:

* Improve markup for tables
  by Dominique Hazael-Massieux
https://github.com/w3c/webrtc-identity/commit/a41068de75e128aab9fab03aceb1bd7f65de5af7

* Fix reference to WebIDL
  by Dominique Hazael-Massieux
https://github.com/w3c/webrtc-identity/commit/7d262bdee2c78c1013601c6d2ad56a8b1b7e3db7

* Merge pull request #38 from w3c/editorial-fixes

Small editorial fixes
  by Dominique Hazael-Massieux
https://github.com/w3c/webrtc-identity/commit/19856a0901b8d827d3bf3e98263c30e8b68aca12



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

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