[mediacapture-main] new commits pushed by dontcallmedom

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

* Adapt GitHub CI to platform change

Cf https://github.blog/changelog/2020-10-01-github-actions-deprecating-set-env-and-add-path-commands/
  by Dominique Hazael-Massieux
https://github.com/w3c/mediacapture-main/commit/671b356703972fcd17acca1173e6483dd14e9d81

* Merge pull request #753 from w3c/fix-set-env

Adapt GitHub CI to platform change
  by Dominique Hazael-Massieux
https://github.com/w3c/mediacapture-main/commit/dbf7851ca73116b4d60e9cf345d949292e693e51



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