Forwarded PRs: #7

Closed
autogits-devel wants to merge 1 commits from PR_gcc15#3 into master

2
gcc15

Submodule gcc15 updated: 3a7f610158...2cba371365