Merge pull request #753 from linuztx/tool-progress

Tool progress

Jan Tomášek committed Oct 24, 2025 at 11:38 UTC 74f275c94018149eaa24fd17e6c8160393b583a5

No changes.