Re: search-paths and propagated inputs

[Federico Beffa]

On Mon, Mar 7, 2016 at 2:35 PM, Ludovic Courtès <l...@gnu.org> wrote:

[...]

> Could you confirm?

We fixed that a while back :-)
http://debbugs.gnu.org/cgi/bugreport.cgi?bug=22073

Regards,
Fede