Skip to content

fixed GAUDI-1113: name 'locker' is not defined in merge_files.py

Marco Clemencic requested to merge clemenci/Gaudi:GAUDI-1113 into master

Re-added 'import locker' (where needed) to merge_files.py (removed by commit 13de2d61).

Merge request reports