> On May 25, 2023, at 4:51 PM, Joseph Myers <jos...@codesourcery.com> wrote:
> 
> The documentation in this case is OK, though claims about how a future 
> version will behave have a poor track record (we tend to end up with such 
> claims persisting in the documentation even though the change in question 
> didn't get made and might sometimes no longer be considered desirable).
Then, do you have any suggestions on this claim? Shall we delete it from the 
doc? Or keep it?

Qing
> 
> -- 
> Joseph S. Myers
> jos...@codesourcery.com

Reply via email to