https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101399
--- Comment #5 from Steve Kargl <sgk at troutmask dot apl.washington.edu> --- On Fri, Jul 09, 2021 at 11:44:11PM +0000, urbanjost at comcast dot net wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101399 > > --- Comment #4 from urbanjost at comcast dot net --- > Wow. I cannot get a pizza delivered that fast. > A patch has been attached to the PR. No telling when someone might commit it to the source repository. I no longer commit as I have zero interest in git.