Skip to content
This repository has been archived by the owner on Oct 8, 2024. It is now read-only.

upped dubbd to 0.13.0 #30

Merged
merged 1 commit into from
Nov 15, 2023
Merged

upped dubbd to 0.13.0 #30

merged 1 commit into from
Nov 15, 2023

Conversation

Michael-Kruggel
Copy link
Contributor

No description provided.

@Michael-Kruggel Michael-Kruggel requested a review from a team as a code owner November 14, 2023 20:36
@Michael-Kruggel
Copy link
Contributor Author

Michael-Kruggel commented Nov 14, 2023

/test all
🤖 View pipeline run

@Michael-Kruggel Michael-Kruggel merged commit 9112569 into main Nov 15, 2023
1 check passed
@Michael-Kruggel Michael-Kruggel deleted the dubbd-0.13.0 branch November 15, 2023 18:59
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants