Skip to content

server: enhance comments surrounding draining#76172

Merged
craig[bot] merged 1 commit intocockroachdb:masterfrom cameronnunez:improve-drain-commentsFeb 15, 2022

Commits

Commits on Feb 15, 2022