On 9/6/23 06:20, Javier Martinez wrote:
reminder: ready for commit?
Pushed, thanks!
- Javier
On Wed 23. Aug 2023 at 15:02, Javier Martinez
<javier.martinez.bugzi...@gmail.com
<mailto:javier.martinez.bugzi...@gmail.com>> wrote:
On Tue, Aug 22, 2023 at 7:50 PM Jason Merrill <ja...@redhat.com
<mailto:ja...@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.bugzi...@gmail.com
<mailto:javier.martinez.bugzi...@gmail.com>>
