On Tue, Aug 22, 2023 at 7:50 PM Jason Merrill <jason@redhat.com> wrote:
> You still need an update to doc/extend.texi for this additional use of
> the attribute.  Sorry I didn't think of that before.

I should have caught that too, many thanks.

Also addressed the formatting comments. Patch attached.

Signed-off-by: Javier Martinez <javier.martinez.bugzilla@gmail.com>