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: Sat, 07 Jul 2018 00:33:59 +0000
To: public-web-bluetooth-log@w3.org
Message-ID: <push-99d7f94bd1040b8914b4f8c3f15d9bbb0b784256-1530923638-sysbot+gh@w3.org>

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

* Deploy to GitHub Pages: 77f05ac3f9e8b2c20e379865a07ea7102e8599ba
  by Travis CI
https://github.com/WebBluetoothCG/web-bluetooth/commit/99d7f94bd1040b8914b4f8c3f15d9bbb0b784256
Received on Saturday, 7 July 2018 00:34:08 UTC

This archive was generated by hypermail 2.3.1 : Saturday, 7 July 2018 00:34:09 UTC