]> Savannah Git Hosting - gnulib.git/commit
gnulib-tool.py: Fix incorrect type hint.
authorCollin Funk <collin.funk1@gmail.com>
Sun, 14 Apr 2024 20:41:17 +0000 (13:41 -0700)
committerBruno Haible <bruno@clisp.org>
Sun, 14 Apr 2024 22:18:33 +0000 (00:18 +0200)
commitcb7ab9c7290164ca515a0d25cfb7cdd55d8e9e31
tree3525eb8bee0c69e61af18d35ec568bddde70c51b
parentcb7e1bb25d73e367c52d048215c821c4d4fd0546
gnulib-tool.py: Fix incorrect type hint.

* pygnulib/constants.py (filter_filelist): Correct the type hint on the
'filelist' argument. It is a list of strings, not a string.
ChangeLog
pygnulib/constants.py