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: Tue, 31 Jul 2018 11:15:38 +0000
To: public-web-bluetooth-log@w3.org
Message-ID: <push-35f7b0cdb39489327b32b733d4a0fabde5596f30-1533035737-sysbot+gh@w3.org>

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

* Deploy to GitHub Pages: d073ae174625fbebf205a8ba6d19395380cd986d
  by Travis CI
https://github.com/WebBluetoothCG/web-bluetooth/commit/35f7b0cdb39489327b32b733d4a0fabde5596f30
Received on Tuesday, 31 July 2018 11:15:52 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 31 July 2018 11:15:53 UTC