Skip to content

[develop] Avoid duplication of nodes in ClusterManager._find_active_nodes()#538

Merged
jdeamicis merged 3 commits intoaws:developfrom
jdeamicis:fix/devel/fix_nodelists_multiple_partitions
Jun 19, 2023
Merged

[develop] Avoid duplication of nodes in ClusterManager._find_active_nodes()#538
jdeamicis merged 3 commits intoaws:developfrom
jdeamicis:fix/devel/fix_nodelists_multiple_partitions

Commits

Commits on Jun 19, 2023