W3C home > Mailing lists > Public > public-webrtc-logs@w3.org > July 2019

[webrtc-stats] Pull Request: Add links to deleted definition where applicable

From: youennf via GitHub <sysbot+gh@w3.org>
Date: Thu, 18 Jul 2019 17:31:31 +0000
To: public-webrtc-logs@w3.org
Message-ID: <pull_request.opened-299018033-1563471089-sysbot+gh@w3.org>
youennf has just submitted a new pull request for https://github.com/w3c/webrtc-stats:

== Add links to deleted definition where applicable ==
deleted is a term that can have several meaning.
This PR adds a link to stats-deleted where appropriate to ease readability of the spec.

See https://github.com/w3c/webrtc-stats/pull/461
Received on Thursday, 18 July 2019 17:31:32 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:22:25 UTC