On 1/18/22 14:10, Richard Earnshaw wrote:
Is that worth adding to contrib/gcc-git-customization.sh ?

Yes, can you please do that?

Thanks,
Martin

Reply via email to