fix: PR #180 follow-up tidy-ups + release v7.12.0#182

Merged

GeiserX merged 1 commit into

mainfrom

fix/pr180-followup-v7.12.0

Jun 2, 2026

Commits on Jun 1, 2026

fix: tidy up PR #180 download-resilience follow-ups, release v7.12.0
GeiserX
committed