Is it too soon to ping again? :) I think Nixman needs some feedback as to whether he's on the right track in addressing your concerns.
On Sun, Feb 5, 2023, 12:39 NightStrike <nightstr...@gmail.com> wrote: > Jakub, ping > > On Thu, Jan 26, 2023, 12:50 i.nixman--- via Gcc-patches < > gcc-patches@gcc.gnu.org> wrote: > >> hello, >> >> could someone look at the patch attached please? >> >> https://gcc.gnu.org/pipermail/gcc-patches/2023-January/610392.html >> >
