Forwarded PRs: cockpit-machines #100

Manually merged
cockpit merged 1 commits from PR_cockpit-machines#14 into master 2025-09-18 11:59:33 +02:00