Forwarded PRs: menulibre #90

Manually merged
products merged 1 commits from PR_menulibre#1 into leap-16.0 2025-09-08 10:34:18 +02:00