Forwarded PRs: #5

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

This is a forwarded pull request by AutoGits PR Review Bot
referencing the following pull request(s):

ManualMergeOnly enabled. To merge, 'merge ok' is required in either the project PR or every package PR.

This is a forwarded pull request by AutoGits PR Review Bot referencing the following pull request(s): ### ManualMergeOnly enabled. To merge, 'merge ok' is required in either the project PR or every package PR.
autogits-devel added 1 commit 2025-10-31 13:47:39 +01:00
This commit was autocreated by AutoGits PR Review Bot

removing PRs:
 PR: gcc/gcc15!3
autogits-devel removed the due date 0001-01-01 2025-10-31 13:47:39 +01:00
autogits-devel requested review from autogits_obs_staging_bot 2025-10-31 13:47:40 +01:00
autogits-devel requested review from matz2 2025-10-31 13:47:42 +01:00
autogits-devel requested review from rguenther 2025-10-31 13:47:42 +01:00
First-time contributor
Build is started in https://build.opensuse.org/project/show/home:autogits_obs_staging_bot:gcc:PR:5 .
Owner

I'm confused, but I think this is the other PR.

I'm confused, but I think this is the other PR.
rguenther closed this pull request 2025-10-31 14:00:17 +01:00

Pull request closed

Sign in to join this conversation.
No Label
3 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: gcc/_ObsPrj#5