Make Batch.destroy public as it’s useful for destroying manually created batch groups#7340

Merged

mvaligursky merged 2 commits intomainfrom mv-batch-destroy-public

Feb 10, 2025

Commits on Feb 10, 2025

Make Batch.destroy public as it’s useful for destroying manually created batch groups
Martin Valigursky
committed
change
Martin Valigursky
committed