Re: scratch_buffer.h, scratch_buffer_dupfree.c sync

[Paul Eggert]

On 2022-11-03 05:41, Bruno Haible wrote:

Here are proposed patches to rename the modules.

Thanks, those look good to me too.