Forwarded PRs: erlang #7

Manually merged
erlang merged 1 commits from PR_erlang#10 into master 2025-08-02 12:05:02 +02:00

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

PR: erlang/erlang#10

This is a forwarded pull request by AutoGits PR Review Bot referencing the following pull request(s): PR: erlang/erlang#10
autogits-devel added 1 commit 2025-08-02 11:54:44 +02:00
This commit was autocreated by AutoGits PR Review Bot referencing
 PR: erlang/erlang#10
autogits-devel removed the due date 0001-01-01 2025-08-02 11:54:45 +02:00
autogits-devel requested review from autogits_obs_staging_bot 2025-08-02 11:54:47 +02:00
First-time contributor
Build is started in https://build.opensuse.org/project/show/home:autogits_obs_staging_bot:erlang:PR:7 .
autogits_obs_staging_bot approved these changes 2025-08-02 12:04:49 +02:00
First-time contributor

Build successful

Build successful
autogits-devel referenced this issue from a commit 2025-08-02 12:05:00 +02:00
erlang manually merged commit 82fadc4bf6 into master 2025-08-02 12:05:02 +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#7
No description provided.