W3C home > Mailing lists > Public > public-web-bluetooth-log@w3.org > July 2018

[web-bluetooth] new commits pushed by jyasskin

From: Jeffrey Yasskin via GitHub <sysbot+gh@w3.org>
Date: Fri, 06 Jul 2018 16:13:02 +0000
To: public-web-bluetooth-log@w3.org
Message-ID: <push-bf159424a269e3d4cdba30d3585fad1390420ba1-1530893580-sysbot+gh@w3.org>

The following commits were just pushed by jyasskin to https://github.com/WebBluetoothCG/web-bluetooth:

* Deploy to GitHub Pages: f387d3aa497f035cfef2f53c5f09ee14758fb4bc
  by Travis CI
https://github.com/WebBluetoothCG/web-bluetooth/commit/bf159424a269e3d4cdba30d3585fad1390420ba1
Received on Friday, 6 July 2018 16:13:05 UTC

This archive was generated by hypermail 2.3.1 : Friday, 6 July 2018 16:13:06 UTC