Skip to content

Remove unneeded discrete and indiscrete traits#1675

Merged
prabau merged 1 commit intomainfrom
discrete-indiscrete-cleanup
Mar 13, 2026
Merged

Remove unneeded discrete and indiscrete traits#1675
prabau merged 1 commit intomainfrom
discrete-indiscrete-cleanup

Commits

Commits on Mar 13, 2026