Forwarded PR: erlang #5

Manually merged
erlang merged 1 commits from PR_erlang#8 into master 2025-06-16 17:17:09 +02:00

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

PR: erlang/erlang#8

This is a forwarded pull request by AutoGits PR Review Bot referencing the following pull request: PR: erlang/erlang#8
autogits-devel added 1 commit 2025-06-16 17:07:52 +02:00
This commit was autocreated by AutoGits PR Review Bot
referencing

PR: erlang/erlang#8
autogits-devel requested review from autogits_obs_staging_bot 2025-06-16 17:07:56 +02:00
First-time contributor
Build is started in https://build.opensuse.org/project/show/home:autogits_obs_staging_bot:erlang:PR:5 .
autogits_obs_staging_bot approved these changes 2025-06-16 17:16:50 +02:00
First-time contributor

Build successful

Build successful
autogits-devel referenced this issue from a commit 2025-06-16 17:17:06 +02:00
erlang manually merged commit b098684d11 into master 2025-06-16 17:17:09 +02:00
Sign in to join this conversation.
No Label
2 Participants
Notifications
Due Date
-
Dependencies

No dependencies set.

Reference: erlang/_ObsPrj#5
No description provided.