Renaming batch-utilities to batch-manager in docs and updating code snippets.#2639

Merged

zoewangg merged 2 commits intoaws:masterfrom

Aug 4, 2021

Commits on Aug 3, 2021

Renaming batch-utilities to batch-manager in docs, updating code snippets in design doc to reflect new decisions
Michael Li
committed
Merge branch 'master' into master
zoewangg
authored