Skip to content

[sweep:integration] Close DISET selector when we no longer need it#7067

Merged
fstagni merged 1 commit intoDIRACGrid:integrationfrom
DIRACGridBot:cherry-pick-2-e17f3f889-integration
Jun 21, 2023
Merged

[sweep:integration] Close DISET selector when we no longer need it#7067
fstagni merged 1 commit intoDIRACGrid:integrationfrom
DIRACGridBot:cherry-pick-2-e17f3f889-integration

Commits

Commits on Jun 20, 2023