[mediacapture-main] new commits pushed by jan-ivar

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

* Improve markup of definitions and algorithms
  by Dominique Hazael-Massieux
https://github.com/w3c/mediacapture-main/commit/b52e226a3556c7e95a0fce6f6e617eecc294f455

* Upgrade respec to 34.1.0

Needed to recognize abstract-op links
  by Dominique Hazael-Massieux
https://github.com/w3c/mediacapture-main/commit/77176ef213e43d3c52f5ce18405d85d9344e8346

* Merge pull request #957 from w3c/clean-dfns

Improve markup of definitions and algorithms
  by Jan-Ivar Bruaroey
https://github.com/w3c/mediacapture-main/commit/03600588bfd05627d5e4e52ec7c122c1094becc5



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

Received on Thursday, 27 April 2023 14:19:21 UTC