Skip to content

Rename raw table buckets to num_buckets - #664

Merged
Amanieu merged 1 commit into
rust-lang:masterfrom
clarfonthey:num_buckets
Nov 29, 2025
Merged

Rename raw table buckets to num_buckets#664
Amanieu merged 1 commit into
rust-lang:masterfrom
clarfonthey:num_buckets