On 10-06-25, 10:34, Miguel Ojeda wrote: > Note that `##` is not necessarily wrong, it depends on the intended > header level. Top-level headers use `#`, second level is `##`, and so > on. > > (In particular, it shouldn't be used as a hack to get smaller font > size in the rendered form). > > So, for instance, in the `workqueue.rs` one in this patch, the example > is likely intended to be a subsection of the "safe API" section, not > an example of everything, so I don't think that one should change. Thanks for catching that. -- viresh
