Commit 7d155923a8772e83395e5c5b439d92ce352b4bf2
2022-07-31T18:56:05
gnulib-tool.py: Allow module arguments to occur at any position. * gnulib-tool.py (main): Collect the non-option arguments in a single list, regardless of their position. Use parse_known_args instead of parse_args, and give an error message about unknown options ourselves. * gnulib-tool: Fix typo in error message.