Hi Tim,

On Thu, Nov 30, 2023 at 04:41:18PM +0100, Tim Duesterhus wrote:
> word() mentions that delimiters at the start and end are ignored, but it does
> not mention that consecutive delimiters are merged.
(...)

Series just merged as well, I didn't notice it while I was typing the
announce message yesterday ;-)

Thanks,
Willy

Reply via email to