[remote-playback] new commits pushed by mounirlamouri

The following commits were just pushed by mounirlamouri to 
https://github.com/w3c/remote-playback:

* Specification for HTMLMediaElement extension and draft spec for the 
rest
of the API. Also adding some spec boilerplate.
  by Mounir Lamouri
https://github.com/w3c/remote-playback/commit/7a5a97e84487bd33667122e43b5ced3095d57b65

Received on Tuesday, 3 November 2015 17:42:09 UTC