Skip to content

Tidy up some minor lints#50

Merged
pr2502 merged 2 commits intopr2502:mainfrom WhyNotHugo:lintsOct 25, 2023