Forwarded PRs: erlang #25

Manually merged
erlang merged 1 commits from PR_erlang#12 into master 2025-11-02 10:12:40 +01:00

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

PR: erlang/erlang!12

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!12 ### Automatic merge enabled. This will merge when all review requirements are satisfied.
autogits-devel added 1 commit 2025-11-02 10:02:17 +01:00
This commit was autocreated by AutoGits PR Review Bot

referencing PRs:
 PR: erlang/erlang!12
autogits-devel removed the due date 0001-01-01 2025-11-02 10:02:17 +01:00
autogits-devel requested review from autogits_obs_staging_bot 2025-11-02 10:02:19 +01:00
First-time contributor
Build is started in https://build.opensuse.org/project/show/home:autogits_obs_staging_bot:erlang:PR:25 .
autogits_obs_staging_bot approved these changes 2025-11-02 10:12:15 +01:00
First-time contributor

Build successful

Build successful
autogits-devel referenced this issue from a commit 2025-11-02 10:12:39 +01:00
erlang manually merged commit d5029dc11f into master 2025-11-02 10:12:40 +01: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#25