The following commits were just pushed by jyasskin to https://github.com/WebBluetoothCG/web-bluetooth: * Remove .editorconfig from the gh-pages branch. Only built specs live here, so no need to help with editing. by Jeffrey Yasskin https://github.com/WebBluetoothCG/web-bluetooth/commit/c48f7cee0924601b112dd538954fa0c91e2f2f17Received on Tuesday, 2 August 2016 20:25:49 UTC
This archive was generated by hypermail 2.3.1 : Tuesday, 2 August 2016 20:25:50 UTC