Commit 6d29a15180d7ba0360d8fb56793a0766926b0dee

Bruno Haible 2022-08-08T00:43:25

gnulib-tool.py: Fix handling of nonexistent module names in --extract-*. * gnulib-tool.py (main): To test whether a module exists, just call GLModuleSystem.find and test its return value.