Skip to content

Let size check be case insensitive in from_dfs#195

Merged
adamnsch merged 1 commit intomainfrom
case-insensitive-size-check
Jul 18, 2025
Merged

Let size check be case insensitive in from_dfs#195
adamnsch merged 1 commit intomainfrom
case-insensitive-size-check

Commits

Commits on Jul 18, 2025