On 11/2/22 12:21, Torbjorn SVENSSON via Gcc-patches wrote:
Hi, Ping, https://gcc.gnu.org/pipermail/gcc-patches/2022-October/604062.html Ok for trunk?
OK. Sorry for the delay. jeff
On 11/2/22 12:21, Torbjorn SVENSSON via Gcc-patches wrote:
Hi, Ping, https://gcc.gnu.org/pipermail/gcc-patches/2022-October/604062.html Ok for trunk?
OK. Sorry for the delay. jeff