Simple fix of private tools. The first commit is just style fixes. The second one contains all important changes.
GitLab Runners cleaning campaign ongoing (ETA 2nd October 2023). Check https://cern.ch/otg0078219 for further information.
Simple fix of private tools. The first commit is just style fixes. The second one contains all important changes.