[RFA] candidates for ambiguous command in upper case

[Pedro Alves]

On 01/31/2017 02:39 PM, Jerome Guitton wrote:
> Luis Machado (lgustavo@codesourcery.com):
> 
>>>> So, what do we want to do?
>>>> 1. Remove the feature?
>>>> 2. Improve its consistency?
>>>> 3. Keep things as is?
>>>>
>>>
>>> I vote #1.
>>
>> I don't see a problem with #1 as long as we keep it consistent
>> throughout from now on.
> 
> OK, I'm happy with #1 as well! New patch in attachment. OK to apply?

LGTM.

Thanks,
Pedro Alves