Automatic cargo update to 2025-10-20#4417

Merged

tautschnig merged 1 commit intomainfrom

cargo-update-2025-10-20

Oct 20, 2025

Commits on Oct 20, 2025

Upgrade cargo dependencies to 2025-10-20

tautschnig
authored and
github-actions[bot]
committed