gnulib-tool.py: Simplify last change. * pygnulib/GLImport.py (GLImport.execute): Remove unnecessary list to set and set to list conversion.
2024-03-25T13:19:53