On Mon, 7 Feb 2022, Palmer Dabbelt wrote: > > > Good point. I have updated the text to your suggested wording, which is > > > also what I would use if I were to propose it (modulo capitalisation). I > > > will commit the change as included here shortly then unless I hear an > > > objection. > > I wasn't sure about the capitalization either, but that's how it is on the > website. It's in a regular-looking sentence, not a title where I'd expect the > extra capital, so I guess the whole spec name is a proper noun?
That has been my understanding as well. > I don't really care either way, just chiming in as I don't see this on trunk. > The original message sounded to me like you intended on committing it, but > just in case I misunderstood and you're waiting for me I wasn't waiting for you to ack, I just gave people at least one full working day to chime in, as not everyone works 24/7. > Reviewed-by: Palmer Dabbelt <pal...@rivosinc.com> > Acked-by: Palmer Dabbelt <pal...@rivosinc.com> I think we're not using such tags (maybe we should), so I haven't added them to the commit message at this time. I have committed this change now. Thank you and Kito for your reviews. Maciej
