- From: Dominique Hazael-Massieux via GitHub <sysbot+gh@w3.org>
- Date: Thu, 10 Sep 2020 15:07:55 +0000
- To: public-webrtc-logs@w3.org
I can also see if tidy can be tweaked to ignore `<pre>` in its indenting? -- GitHub Notification of comment by dontcallmedom Please view or discuss this issue at https://github.com/w3c/webrtc-pc/pull/2573#issuecomment-690353853 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 10 September 2020 15:07:56 UTC