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