On 2/5/24 19:38, Jonathan Wakely wrote: > On Mon, 5 Feb 2024, 19:07 Torbjörn SVENSSON, <torbjorn.svensson@foss.st.com> > wrote: > >> Ok for trunk and releases/gcc-13? >> > > OK, thanks > Done, pushed to master and releases/gcc-13.