Skip to content

just a cast needed for runtimerror#225

Merged
JordyAaldering merged 1 commit intomaster-index-typesfrom
index-types-rterr
Jan 21, 2026
Merged

just a cast needed for runtimerror#225
JordyAaldering merged 1 commit intomaster-index-typesfrom
index-types-rterr

Commits

Commits on Jan 21, 2026