- From: Marcos Cáceres via GitHub <sysbot+gh@w3.org>
- Date: Thu, 21 Oct 2021 00:42:33 +0000
- To: public-webrtc-logs@w3.org
This is still kinda ugly... why not do just do?:
```
<pre class="WebIDL">
interface Foo {
// other stuff
};
</pre>
```
Tidy shouldn't touch those and there is no other technical reason not to do them all like the above, AFAIK?
--
GitHub Notification of comment by marcoscaceres
Please view or discuss this issue at https://github.com/w3c/webrtc-pc/pull/2683#issuecomment-948141024 using your GitHub account
--
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 21 October 2021 00:42:35 UTC