Ping...
On 10/11/21 5:17 PM, Bill Schmidt wrote: > Hi! Ping, please. :-) > > Bill > > On 9/29/21 3:38 PM, Bill Schmidt wrote: >> Hi Segher, >> >> Might as well ping this before I go on vacation. :-) I think we're up to >> 06/18: >> >> https://gcc.gnu.org/pipermail/gcc-patches/2021-September/578604.html >> >> Thanks!! >> >> Bill