Repository navigation

fix unnecessary casting and resulting clippy warning. - #594

Closed

moritz-gross wants to merge 1 commit into

moritz-gross:fix-unnecessary-string-casting

Commits on Jun 7, 2026
- fix unnecessary casting and resulting clippy warning.
  moritz-gross
  committed
  27821a2