- 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
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