Skip to content

Fix debian sid#417

Merged
myoung34 merged 1 commit intomasterfrom
fix_debian_sid
Dec 11, 2024
Merged

Fix debian sid#417
myoung34 merged 1 commit intomasterfrom
fix_debian_sid

Conversation

@myoung34
Copy link
Owner

No description provided.

@myoung34 myoung34 force-pushed the fix_debian_sid branch 3 times, most recently from bd9c5da to 9834bd2 Compare December 11, 2024 20:57
@myoung34 myoung34 merged commit 1a5ad74 into master Dec 11, 2024
11 checks passed
@myoung34 myoung34 deleted the fix_debian_sid branch December 11, 2024 21:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant