Diffusion Archive search 71f6ae6bca7d

Rename scroll_token to page_token/next_page_token.
71f6ae6bca7d
Actions

Tags

None

Subscribers

None

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

Rename scroll_token to page_token/next_page_token.

For uniformity with the indexer-storage.

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.

Build Status

Buildable 9109
Build 13319: test-and-build	Jenkins

Event Timeline

vlorentz added an edge: D2284: Rename scroll_token to page_token/next_page_token..Nov 19 2019, 4:16 AM

vlorentz committed rDSEA71f6ae6bca7d: Rename scroll_token to page_token/next_page_token. (authored by vlorentz).Nov 15 2019, 2:42 PM

Harbormaster completed building B9109: rDSEA71f6ae6bca7d: Rename scroll_token to page_token/next_page_token..Nov 19 2019, 4:18 AM

Commit No Longer Exists

This commit no longer exists in the repository.