Skip to content

Fix: incorrect list types using redundant ... arg#407

Merged
nutti merged 1 commit intonutti:mainfrom
Andrej730:fix_list_ellipsis
Dec 1, 2025
Merged

Fix: incorrect `list` types using redundant `...` arg#407
nutti merged 1 commit intonutti:mainfrom
Andrej730:fix_list_ellipsis

Commits

Commits on Nov 8, 2025