Forwarded PRs: #4

Closed
autogits-devel wants to merge 2 commits from PR_gcc15#2 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 2 commits 2025-10-09 10:14:49 +02:00
This commit was autocreated by AutoGits PR Review Bot

referencing PRs:
 PR: gcc/gcc15!2
This commit was autocreated by AutoGits PR Review Bot

removing PRs:
 PR: gcc/gcc15!2
autogits-devel removed the due date 0001-01-01 2025-10-09 10:14:50 +02:00
autogits-devel requested review from autogits_obs_staging_bot 2025-10-09 10:14:51 +02:00
Author
Owner

Pull request no longer contains any changes. Closing.

Pull request no longer contains any changes. Closing.
autogits-devel closed this pull request 2025-10-09 10:14:51 +02:00

Pull request closed

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

No dependencies set.

Reference: gcc/_ObsPrj#4