Repository navigation
Structure missing optional attributes without defaults as None - #833
Closed
DresdenGman wants to merge 1 commit into
Closed
DresdenGman wants to merge 1 commit into
DresdenGman wants to merge 1 commit into
Commits
Commits on Nov 4, 2026