W3C home > Mailing lists > Public > public-web-bluetooth-log@w3.org > September 2015

[web-bluetooth] new commits pushed by jyasskin

From: Jeffrey Yasskin via GitHub <sysbot+gh@w3.org>
Date: Fri, 25 Sep 2015 16:34:57 +0000
To: public-web-bluetooth-log@w3.org
Message-ID: <push-1c491ed1b3377d83d9c8952ddfc0d024c077eee7-1443198896-sysbot+gh@w3.org>

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

* Fix up indentation in <pre> elements.
  by Jeffrey Yasskin
https://github.com/WebBluetoothCG/web-bluetooth/commit/1c491ed1b3377d83d9c8952ddfc0d024c077eee7
Received on Friday, 25 September 2015 16:34:59 UTC

This archive was generated by hypermail 2.3.1 : Friday, 25 September 2015 16:35:00 UTC