W3C home > Mailing lists > Public > public-webtiming@w3.org > November 2018

[timingobject] new commits pushed by ingararntzen

From: Ingar Arntzen via GitHub <sysbot+gh@w3.org>
Date: Mon, 19 Nov 2018 11:38:20 +0000
To: public-webtiming@w3.org
Message-ID: <push-07a65ece799544c2d5f9343cd2ada4f374752aa0-1542627499-sysbot+gh@w3.org> 

The following commits were just pushed by ingararntzen to https://github.com/webtiming/timingobject:

* Replaced remaining http with https URLs
  by Christoph Guttandin
https://github.com/webtiming/timingobject/commit/fdf4e8087be93d4843af3e422f15141a402f4d05

* Merge pull request #28 from chrisguttandin/replace-http-with-https

Replace remaining http with https URLs
  by Ingar Arntzen
https://github.com/webtiming/timingobject/commit/07a65ece799544c2d5f9343cd2ada4f374752aa0
Received on Monday, 19 November 2018 11:38:21 UTC

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