Re: [PATCH] gnulib-tool: fix sed-based filtering

[Bruno Haible]

Hi Jim,

> contained an error that made gnulib-tool fail with shells
> that use the  fast_func_remove_prefix=false (sed-using) code path.

Thanks for the fix. My mistake. I did test both code paths, but only with bash.

Bruno