reminder: ready for commit?

- Javier

On Wed 23. Aug 2023 at 15:02, Javier Martinez <
javier.martinez.bugzilla@gmail.com> wrote:

> 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>
>