Applied to trunk, thank you! --Philipp.
On Thu, 17 Apr 2025 at 21:51, Jeff Law <jeffreya...@gmail.com> wrote: > > > > On 4/8/25 6:12 AM, Konstantinos Eleftheriou wrote: > > Hi, > > Just a ping for https://gcc.gnu.org/pipermail/gcc-patches/2025- > > March/677635.html <https://gcc.gnu.org/pipermail/gcc-patches/2025- > > March/677635.html>. > OK for the trunk. I don't think it's worth porting to the release branches. > > jeff >
