Re: Bash headers path changed in 4.4 (core-updates)

[Leo Famulari]

On Mon, Oct 17, 2016 at 10:07:52PM +0200, Ludovic Courtès wrote:
> l...@gnu.org (Ludovic Courtès) skribis:
> 
> > I believe this patch should work, though I haven’t yet been able to
> > rebuild recutils:
> 
> I pushed a variant of it as c21af659b4e6871b9576278cd5745881c696fd70.

Thanks!