[webrtc-stats] Pull Request: Fix wrong html tag for mediaSourceId description

• From: Philipp Hancke via GitHub <sysbot+gh@w3.org>
• Date: Fri, 03 Mar 2023 08:48:38 +0000
• To: public-webrtc@w3.org
• Message-ID: <pull_request.opened-1261695976-1677833316-sysbot+gh@w3.org>

fippo has just submitted a new pull request for https://github.com/w3c/webrtc-stats:

== Fix wrong html tag for mediaSourceId description ==
which was causing a weird indent:
![image](https://user-images.githubusercontent.com/289731/222674632-1439652d-270c-4ebc-b8c3-4abc06e5ecae.png)


See https://github.com/w3c/webrtc-stats/pull/738


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

Received on Friday, 3 March 2023 08:48:39 UTC