Re: gnulib-tool.py: Fix incorrect type hint.

bug-gnulib

From:	Bruno Haible
Subject:	Re: gnulib-tool.py: Fix incorrect type hint.
Date:	Mon, 15 Apr 2024 00:19:39 +0200

Collin Funk wrote:
> The 'filelist' passed to
> 'filter_filelist' should be marked 'list[str]' and not 'str'.

Thanks, applied.

Current Thread

[Next in Thread]

gnulib-tool.py: Fix incorrect type hint., Collin Funk, 2024/04/14
- Re: gnulib-tool.py: Fix incorrect type hint., Bruno Haible <=