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

[web-bluetooth] new commits pushed by jyasskin

From: Jeffrey Yasskin via GitHub <sysbot+gh@w3.org>
Date: Mon, 10 Dec 2018 19:01:13 +0000
To: public-web-bluetooth-log@w3.org
Message-ID: <push-2b7de2cc232835817e5133f277b20958e5b3427d-1544468472-sysbot+gh@w3.org>

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

* Deploy to GitHub Pages: 6832a6670c9168e4a9c0933323fe6f233af6fcae
  by Travis CI
https://github.com/WebBluetoothCG/web-bluetooth/commit/2b7de2cc232835817e5133f277b20958e5b3427d
Received on Monday, 10 December 2018 19:01:14 UTC

This archive was generated by hypermail 2.3.1 : Monday, 10 December 2018 19:01:15 UTC