Forwarded PRs: cockpit-machines #101

Manually merged
cockpit merged 1 commits from PR_cockpit-machines#15 into master 2025-09-18 12:10:38 +02:00