Forwarded PRs: shim-leap #6

Manually merged
devel-factory merged 1 commits from PR_shim-leap#1 into master 2025-12-08 15:49:03 +01:00