[webrtc-extensions] new commits pushed by jan-ivar

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

* fix respec woes
  by Philipp Hancke
https://github.com/w3c/webrtc-extensions/commit/c44a83680e734b1442bc6d8d7fd3afc515c8db62

* remove empty li-li
  by Philipp Hancke
https://github.com/w3c/webrtc-extensions/commit/9fe3fa00ab88b7d1e630a6f3df1bdc650f37d010

* fix p as children of ol, please check semantics
  by Philipp Hancke
https://github.com/w3c/webrtc-extensions/commit/793546b8fb877bd03ef0eae6e88b25d6e2f8c5bb

* Merge pull request #173 from fippo/respec-woes

editorial: fix respec / validation woes
  by Jan-Ivar Bruaroey
https://github.com/w3c/webrtc-extensions/commit/9601ac8a8c663ccfec5244ca90ec1ff51eced107



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

Received on Thursday, 27 July 2023 15:05:33 UTC