Re: [PATCH] Make only user-specified executable filenames sticky

Pedro Alves
2015-05-06T14:21:03Z

On 05/06/2015 01:19 PM, Pedro Alves wrote:

> I think this needs a NEWS entry, and probably a tweak to the
> manual somewhere.

Oh, I forgot to say, could you add a test too?

Thanks,
Pedro Alves