Forwarded PRs: #9

Closed
autogits-devel wants to merge 2 commits from PR_gcc15#4 into master

2 Commits

Author SHA256 Message Date
AutoGits PR Review Bot
00404f1b83 auto-created for gcc15
This commit was autocreated by AutoGits PR Review Bot

removing PRs:
 PR: gcc/gcc15!4
2026-02-10 09:20:23 +00:00
AutoGits PR Review Bot
dc925a6bc2 auto-created for gcc15
This commit was autocreated by AutoGits PR Review Bot

referencing PRs:
 PR: gcc/gcc15!4
2026-02-09 12:40:55 +00:00