Forwarded PRs: git-bug #252

Manually merged
products merged 2 commits from PR_git-bug#9 into leap-16.1 2025-12-10 10:41:43 +01:00

Submodule git-bug updated: 22bb247e73...2390ae6cee