[mediacapture-main] new commits pushed by dontcallmedom

The following commits were just pushed by dontcallmedom to https://github.com/w3c/mediacapture-main:

* Use shortcut for WG data in respec config
  by Dominique Hazael-Massieux
https://github.com/w3c/mediacapture-main/commit/b31a6a197b9de8413b60c90fe80d9df7304f2c3d



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

Received on Tuesday, 25 August 2020 08:42:09 UTC