* pygnulib/GLImport.py (GLImport.execute): Remove unnecessary list to
set and set to list conversion.
+2024-03-25 Bruno Haible <bruno@clisp.org>
+
+ gnulib-tool.py: Simplify last change.
+ * pygnulib/GLImport.py (GLImport.execute): Remove unnecessary list to
+ set and set to list conversion.
+
2024-03-25 Collin Funk <collin.funk1@gmail.com>
gnulib-tool.py: Fix "Creating directory" output.
if gentests:
dirs += [testsbase]
dirs += [auxdir]
- dirs += sorted(list(dict.fromkeys([ os.path.dirname(pair[0])
- for pair in filetable['new'] ])))
+ dirs += sorted([ os.path.dirname(pair[0])
+ for pair in filetable['new'] ])
dirs = [ os.path.join(destdir, d)
for d in dirs ]
for directory in dirs: