On 5/26/20 1:18 PM, Richard Earnshaw wrote:
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? Martingcc-ci?
What the abbreviation stands for? Martin
R.