BatchOptions, RunInBatch helper, and some cleanups.

Change-Id: Ifb5d3b8488082f7e76d147c9e6b47225e7c7baf0
4 files changed
tree: aeb8efd936939a1b4a9dc7dc28dd107a0cddd241
  1. v23/
  2. x/
  3. .gitignore
  4. AUTHORS
  5. CONTRIBUTORS
  6. LICENSE
  7. PATENTS
  8. VERSION