bug-gnulib
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] gnulib-tool.py: Follow gnulib-tool changes, part 63.


From: Basil L. Contovounesios
Subject: Re: [PATCH] gnulib-tool.py: Follow gnulib-tool changes, part 63.
Date: Sun, 17 Mar 2024 23:21:34 +0100
User-agent: Gnus/5.13 (Gnus v5.13)

Collin Funk [2024-03-17 15:03 -0700] wrote:

> +        if len(cleansed) > 0:
> +            return '\n'.join(cleansed)
> +        else:
> +            return ''

FWIW '\n'.join([]) is '', so perhaps it isn't necessary to check
len(cleansed).

Thanks,
-- 
Basil



reply via email to

[Prev in Thread] Current Thread [Next in Thread]