Rename scroll_token to page_token/next_page_token.
For uniformity with the indexer-storage.
Description
Description
Details
Details
- Provenance
vlorentz Authored on Nov 15 2019, 2:42 PM vlorentz Pushed on Nov 19 2019, 4:16 AM - Differential Revision
- D2284: Rename scroll_token to page_token/next_page_token.
- Parents
- rDSEAb002ac5bbda8: Make mapping initialization idempotent, instead of crashing if it already…
- Branches
- Unknown
- Tags
- References
- tag: v0.0.3
- Build Status
Buildable 9109 Build 13319: test-and-build Jenkins