David Faust via Gcc-patches Wed, 26 Oct 2022 13:22:27 -0700
On 10/26/22 12:33, Jose E. Marchesi wrote: > > Hi David. > > Thanks for the updates. > OK for master. >
Pushed, thanks.