[remote-playback] new commits pushed by mounirlamouri

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

* Editorial: Align with Web IDL specification
  by autokagami
https://github.com/w3c/remote-playback/commit/8f65554648b519fbef96582a380a827e182220d2

* Merge pull request #138 from autokagami/remote-playback

Editorial: Align with Web IDL specification
  by Mounir Lamouri
https://github.com/w3c/remote-playback/commit/fed1a8f5e6593d2cb3229a5e74616d93359678e3



-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Wednesday, 7 October 2020 01:56:52 UTC