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
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