Repository navigation

fix: a UserChoice naming a class that is gone no longer counts as default - #46

Merged

rgdevment merged 2 commits into

mainfrom

fix/dangling-prog-id

Oct 4, 2026

Commits on Oct 4, 2026

fix: a UserChoice naming a class that is gone no longer counts as default
rgdevment
committed
b60cef8
ci: commit subjects may run to 120 characters, PR number included
rgdevment
committed
149ce7c