W3C home > Mailing lists > Public > public-webrtc-logs@w3.org > October 2017

[webrtc-stats] new commits pushed by alvestrand

From: Harald Alvestrand via GitHub <sysbot+gh@w3.org>
Date: Tue, 24 Oct 2017 16:02:48 +0000
To: public-webrtc-logs@w3.org
Message-ID: <push-7c47bfa508b936f427b5af27b025a985fa98f6b7-1508860967-sysbot+gh@w3.org>

The following commits were just pushed by alvestrand to https://github.com/w3c/webrtc-stats:

* Run "tidy" on the HTML (#265)

Also remove a dead target in the Makefile that had a different
tidy configuration (reduce chance of confusion).
  by Harald Alvestrand
Received on Tuesday, 24 October 2017 16:02:50 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:21:47 UTC