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:54:21 +0000
To: public-web-bluetooth-log@w3.org
Message-ID: <push-ebfe57305937d7b0e71c7e762809e0930783a7e6-1542668058-sysbot+gh@w3.org>

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

* Deploy to GitHub Pages: 97ee80c6664b01c0e008259bbdcdd1370b4d0a5b
  by Travis CI
https://github.com/WebBluetoothCG/web-bluetooth/commit/ebfe57305937d7b0e71c7e762809e0930783a7e6
Received on Monday, 19 November 2018 22:54:27 UTC

This archive was generated by hypermail 2.3.1 : Monday, 19 November 2018 22:54:28 UTC