Hi Bruno,

On 3/25/24 5:20 AM, Bruno Haible wrote:
> You don't need this trick here, since we sort this part of the list
> anyway, for compatibility with gnulib-tool.sh.
> 
> This occurred also with the EXTRA_DIST augmentations:

Oops, you are right. It is easy for me to forget where things are
sorted and where they are not. Thanks for the fix.

Collin

Reply via email to