- From: Dominique Hazael-Massieux via GitHub <sysbot+gh@w3.org>
- Date: Wed, 23 Sep 2020 12:32:44 +0000
- To: public-webrtc-logs@w3.org
The following commits were just pushed by dontcallmedom to https://github.com/w3c/webrtc-insertable-streams: * Fix a few editorial aspects fix github repo shortname to get automatic link to issues from document head removes unnecessary local anchors by Dominique Hazael-Massieux https://github.com/w3c/webrtc-insertable-streams/commit/3ece5d9828acbeb44c844285976ef29e0228c030 * Fix typo in property name and improve bikeshed markup by Dominique Hazael-Massieux https://github.com/w3c/webrtc-insertable-streams/commit/9757b3c55ba9087d1cf33a190f582bc14c608223 * Merge pull request #46 from w3c/editorial-fixes Fix a few editorial aspects by Dominique Hazael-Massieux https://github.com/w3c/webrtc-insertable-streams/commit/abb7ee25c7df57ce0619dd3463aa18a53649a9a6 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 23 September 2020 12:32:45 UTC