Forwarded PRs: cockpit-machines #76

Manually merged
cockpit merged 2 commits from PR_cockpit-machines#9 into master 2025-07-10 16:50:07 +02:00