Skip to content

fix unnecessary casting and resulting clippy warning.#594

Closed
moritz-gross wants to merge 1 commit into
daisy:mainfrom
moritz-gross:fix-unnecessary-string-casting
Closed

fix unnecessary casting and resulting clippy warning.#594
moritz-gross wants to merge 1 commit into
daisy:mainfrom
moritz-gross:fix-unnecessary-string-casting

fix unnecessary casting and resulting clippy warning.

27821a2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
zip up the rules directory
succeeded Jun 7, 2026 in 9s