On Mon, Jul 10, 2023 at 12:34 PM Palmer Dabbelt <palmer@xxxxxxxxxxxx> wrote: > > From: Palmer Dabbelt <palmer@xxxxxxxxxxxx> > > I'm not sure what I was trying to do with the ':'s, but they're just > rendered to HTML which looks odd. This makes "fence.i" look like > "mvendorid" and such, which is seems reasonable to me. > > Signed-off-by: Palmer Dabbelt <palmer@xxxxxxxxxxxx> Ah whoops, I must have missed that one during the documentation cleanup. Thanks. Reviewed-by: Evan Green <evan@xxxxxxxxxxxx>
