Skip to content

settings,*: give better names to certain settings#109074

Merged
craig[bot] merged 1 commit intocockroachdb:masterfrom knz:20230819-rename-settings2Aug 21, 2023
+228-209

Commits

Commits on Aug 21, 2023