- From: Jeffrey Yasskin via GitHub <sysbot+gh@w3.org>
- Date: Thu, 28 May 2015 00:20:54 +0000
- To: public-web-bluetooth-log@w3.org
The following commits were just pushed by jyasskin to https://github.com/WebBluetoothCG/web-bluetooth: * Add § links to the current section. by Jeffrey Yasskin https://github.com/WebBluetoothCG/web-bluetooth/commit/408d03eae5f998c62634886706664d2242bd6d2c * Merge pull request #121 from jyasskin/permalinks Add § links pointing to the current section. by Jeffrey Yasskin https://github.com/WebBluetoothCG/web-bluetooth/commit/35c543f5cfd6d8943cc48f71997b7ff1fa92698a
Received on Thursday, 28 May 2015 00:20:56 UTC