Skip to content

crsync: add a few more comments for Counters#25

Merged
RaduBerinde merged 1 commit intocockroachdb:mainfrom
RaduBerinde:sharding-comments
Oct 1, 2025
Merged

crsync: add a few more comments for Counters#25
RaduBerinde merged 1 commit intocockroachdb:mainfrom
RaduBerinde:sharding-comments

Commits

Commits on Oct 1, 2025