Commit d72b2930e61c2d858254457b634142f43e3f617a

Bruno Haible 2024-12-05T09:14:49

gnulib-tool.py: Remove dead code. * pygnulib/GLModuleSystem.py (GLModule.getDependents): Remove top_level parameter. Use the cached value if present. * pygnulib/main.py: Update accordingly.