- From: Dominique Hazael-Massieux via GitHub <sysbot+gh@w3.org>
- Date: Mon, 06 Mar 2023 15:19:09 +0000
- To: public-webrtc-logs@w3.org
The following commits were just pushed by dontcallmedom to https://github.com/w3c/webrtc-pc: * Split respec plugins into their own scripts by Dominique Hazael-Massieux https://github.com/w3c/webrtc-pc/commit/a5949f4aee7c2c4003dc6742da184c70ff9e2fd3 * Annotate diffs with `<ins>` and `<del>` Per feedback in https://lists.w3.org/Archives/Public/spec-prod/2023JanMar/0027.html by Dominique Hazael-Massieux https://github.com/w3c/webrtc-pc/commit/3a15997b38eba1123ea5c998d200f737429414ee * Fix id-less heading by Dominique Hazael-Massieux https://github.com/w3c/webrtc-pc/commit/ef9391550a1e28e69c4f3a54aed83344904a8797 * Fix contrast of diff when applied to a table by Dominique Hazael-Massieux https://github.com/w3c/webrtc-pc/commit/4a1ddbe21798ef720a5ccfd15bc4c4efae0f33a4 * Merge pull request #2831 from w3c/script-reorg Re-organize respec plugins by Dominique Hazael-Massieux https://github.com/w3c/webrtc-pc/commit/c0cd7f2c011657700e2cb504096ebb737fbe7e55 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 6 March 2023 15:19:11 UTC