[PATCH] PR cli/21688: Detect aliases when issuing python/compile/guile commands (and fix last commit)

[Sergio Durigan Junior]

On Friday, June 30 2017, Pedro Alves wrote:

> On 06/30/2017 02:33 PM, Sergio Durigan Junior wrote:
>
>> Here's the final version of the patch.
>
> OK.

Thanks, pushed.

dc4bde35d16df749e529229657b3468417937cfc

-- 
Sergio
GPG key ID: 237A 54B1 0287 28BF 00EF  31F4 D0EB 7628 65FC 5E36
Please send encrypted e-mail if possible
http://sergiodj.net/