- 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
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