Skip to content

Delete debian10 add debian13#137

Merged
zmstone merged 3 commits intomainfrom
250815-add-debian-13
Aug 15, 2025
Merged

Delete debian10 add debian13#137
zmstone merged 3 commits intomainfrom
250815-add-debian-13

Conversation

@zmstone
Copy link
Copy Markdown
Member

@zmstone zmstone commented Aug 15, 2025

No description provided.

@zmstone zmstone merged commit d262bcb into main Aug 15, 2025
80 of 114 checks passed
@zmstone zmstone deleted the 250815-add-debian-13 branch August 15, 2025 14:11
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.

2 participants