pool/dwarfs
SHA256
17
0
Fork 0
Code Issues Pull Requests Activity

Fix changed library name and prepare for Boost 1.89.0 #1

Closed
adkorte wants to merge 0 commits from (deleted):devel into factory
pull from: (deleted):devel
merge into: pool:factory
Conversation 0 Commits - Files Changed 6 +10 -1
adkorte commented 2025-09-19 09:15:19 +02:00
First-time contributor
Copy Link
No description provided.
adrianSuSE changed target branch from devel to factory 2025-11-04 10:19:56 +01:00
adrianSuSE added 1 commit 2025-11-04 10:19:56 +01:00
Fix changed library name and prepare for Boost 1.89.0 eaaaebaf28
adkorte closed this pull request 2025-11-19 19:06:59 +01:00

Pull request closed

This pull request cannot be reopened because the branch was deleted.
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
Clear labels
legaldb
Critical Priority
Critical legaldb priority
Archived
legaldb
High Priority
2
High legaldb priority
legaldb
Normal Priority
1
Normal legaldb priority
No Label
Milestone
No items
No Milestone
Assignees
Clear assignees
adamm_super adrianSuSE autobuild-owner autobuild-review autogits_workflow_pr_bot bigironman dirkmueller eroca factory_bot gitea_test legaldb lkocman-factory maxlin_factory opensuse-review packagehub-review smithfarm
No Assignees
2 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: pool/dwarfs#1
Delete Branch "(deleted):devel"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?