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?

Martin

gcc-ci?

What the abbreviation stands for?

Martin


R.


Reply via email to