Re: scratch_buffer.h, scratch_buffer_dupfree.c sync

[Bruno Haible]

Paul Eggert wrote:
> > Here are proposed patches to rename the modules.
> 
> Thanks, those look good to me too.

Thanks for the review. Pushed.

Bruno