Closed alxvov closed 4 years ago
Is this PR still under development or have the changes already been cherry-picked onto feature-new-minimisers
?
The changes have been cherry-picked: 52638c8fc3dd9dcb18369816df5ee9efabda5f0e.
Then should this PR be closed?
First time contributor checklist
Contributor checklist
develop
branchDescription