- From: Christoph Guttandin via GitHub <sysbot+gh@w3.org>
- Date: Thu, 20 Apr 2023 21:22:28 +0000
- To: public-webrtc-logs@w3.org
chrisguttandin has just submitted a new pull request for https://github.com/w3c/webrtc-extensions: == Remove superfluous closing tag == I've noticed that the last PR introduced an extra `</section>`. This PR just removes it again. https://github.com/w3c/webrtc-extensions/blob/c1c6b0fdd0ea3fb51f801846e702b179d3960827/index.html#L15-L16 See https://github.com/w3c/webrtc-extensions/pull/161 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 20 April 2023 21:22:30 UTC