> On Mar 12, 2023, at 7:14 PM, Sandra Loosemore <san...@codesourcery.com> wrote:
> 
> On 3/2/23 17:03, Qing Zhao via Gcc-patches wrote:
>> Ping.
> 
> It looks to me like there is an associated code patch (for PR101832) that is 
> still under technical discussion?  

Yes, the 1st patch in this serie is the patch for PR101832.  Which is under 
review.
This 2nd patch is the associated doc change.
> Or is this documentation patch independent of that change?

These two patches are better to be associated together. But I think the patch 
for PR101832 might be
 put in first into GCC13 if people think the doc change is risky at this 
moment. 

Qing
> 
> -Sandra

Reply via email to