- From: Christoph Guttandin via GitHub <sysbot+gh@w3.org>
- Date: Sun, 30 Jan 2022 10:21:37 +0000
- To: public-webrtc@w3.org
chrisguttandin has just submitted a new pull request for https://github.com/w3c/webrtc-encoded-transform: == Remove duplicate closing tag == This PR just removes a duplicate `</pre>` tag which I think was introduced here: https://github.com/w3c/webrtc-encoded-transform/pull/125/files#diff-5e793325cd2bfc452e268a4aa2f02b4024dd9584bd1db3c2595f61f1ecf7b985L27-R28 See https://github.com/w3c/webrtc-encoded-transform/pull/130 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Sunday, 30 January 2022 10:21:39 UTC