Skip to content

Accept truncations in pops smaller than 16#740

Merged
wvpm merged 1 commit into
masterfrom
accept_small_pop_truncation
May 19, 2026
Merged

Accept truncations in pops smaller than 16#740
wvpm merged 1 commit into
masterfrom
accept_small_pop_truncation

Commits

Commits on May 19, 2026