[prone] Apply UnnecessaryDefaultInEnumSwitch#2702
Closed
Pankraz76 wants to merge 1 commit intodiffplug:mainfrom
Closed
[prone] Apply `UnnecessaryDefaultInEnumSwitch`#2702Pankraz76 wants to merge 1 commit intodiffplug:mainfrom
Pankraz76 wants to merge 1 commit intodiffplug:mainfrom
Commits
Commits on Nov 3, 2025
- committed
Vincent Potucek