> On 21 Dec 2020, at 12:40, Jonathan Wakely <jwak...@redhat.com> wrote:

>> Probably more robust, I agree. This still works
>> both with build tree (tested on mainline) and install
>> tree (tested on our gcc-10 branch).
>> 
>> Same ChangeLog.
> 
> OK to commit like that then, thanks.

Sure, will do. Thanks for your feedback,

Cheers,

Olivier

Reply via email to