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

[web-bluetooth] new commits pushed by jyasskin

From: Jeffrey Yasskin via GitHub <sysbot+gh@w3.org>
Date: Mon, 19 Nov 2018 22:56:48 +0000
To: public-web-bluetooth-log@w3.org
Message-ID: <push-a4708f29ac1b843e3a6c61e182bbea1903277528-1542668207-sysbot+gh@w3.org>

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

* Deploy to GitHub Pages: 742618d96f8525d667d96d01cbc2448bdce61346
  by Travis CI
https://github.com/WebBluetoothCG/web-bluetooth/commit/a4708f29ac1b843e3a6c61e182bbea1903277528
Received on Monday, 19 November 2018 22:56:50 UTC

This archive was generated by hypermail 2.3.1 : Monday, 19 November 2018 22:56:50 UTC