Skip to content

Do not redefine Disconnected type every time#1837

Merged
ricardoV94 merged 2 commits intopymc-devs:mainfrom
ricardoV94:disconnected_type
Jan 12, 2026
Merged

Do not redefine Disconnected type every time#1837
ricardoV94 merged 2 commits intopymc-devs:mainfrom
ricardoV94:disconnected_type

Commits

Commits on Jan 11, 2026

Commits on Jan 12, 2026