[webrtc-insertable-streams] Pull Request: Fix a few editorial aspects from Dominique Hazael-Massieux via GitHub on 2020-09-01 (public-webrtc-logs@w3.org from September 2020)

From: Dominique Hazael-Massieux via GitHub <sysbot+gh@w3.org>
Date: Tue, 01 Sep 2020 09:32:41 +0000
To: public-webrtc-logs@w3.org
Message-ID: <pull_request.opened-476950518-1598952759-sysbot+gh@w3.org>

dontcallmedom has just submitted a new pull request for 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

See https://github.com/w3c/webrtc-insertable-streams/pull/46


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Tuesday, 1 September 2020 09:32:42 UTC