On 26/05/2020 12:14, Martin Liška wrote: > On 5/26/20 12:23 PM, Richard Earnshaw wrote: >> I thought we had a convention that aliases we added were prefixed with >> 'gcc-'? This seems to go against that. > > You are right, but this one is so handy ;) > What name do you suggest? > > Martin gcc-ci? R.