On Fri, Mar 03, 2023 at 12:05:09AM +0100, Gerald Pfeifer wrote: > On Thu, 2 Mar 2023, Jakub Jelinek wrote: > > +<pre><code> > > +#include <stdlib.h> > > Oops, in HTML we need to spell "<" as "<" and ">" as "> - otherwise > the above would be seen as a tag by the name of stdlib.h. ;-) > > I pushed the follow-up patch below.
Oops, missed that. Thanks. Jakub