Forwarded PRs: erlang #10

Manually merged
erlang merged 1 commits from PR_erlang#11 into master 2025-09-20 13:13:49 +02:00

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

PR: erlang/erlang!11

Automatic merge enabled. This will merge when all review requirements are satisfied.

This is a forwarded pull request by AutoGits PR Review Bot referencing the following pull request(s): PR: erlang/erlang!11 ### Automatic merge enabled. This will merge when all review requirements are satisfied.
autogits-devel added 1 commit 2025-09-20 13:03:45 +02:00
This commit was autocreated by AutoGits PR Review Bot

referencing PRs:
 PR: erlang/erlang!11
autogits-devel removed the due date 0001-01-01 2025-09-20 13:03:46 +02:00
autogits-devel requested review from autogits_obs_staging_bot 2025-09-20 13:03:47 +02:00
First-time contributor
Build is started in https://build.opensuse.org/project/show/home:autogits_obs_staging_bot:erlang:PR:10 .
autogits_obs_staging_bot approved these changes 2025-09-20 13:13:38 +02:00
First-time contributor

Build successful

Build successful
autogits-devel referenced this issue from a commit 2025-09-20 13:13:48 +02:00
erlang manually merged commit 0c4152bdbe into master 2025-09-20 13:13:49 +02:00
Sign in to join this conversation.
No Label
2 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: erlang/_ObsPrj#10