Skip to content

docs: cleanup server history#174

Merged
DeepDiver1975 merged 1 commit into
masterfrom
cleanup_server_history
Jun 1, 2026
Merged

docs: cleanup server history#174
DeepDiver1975 merged 1 commit into
masterfrom
cleanup_server_history

Conversation

@mmattel
Copy link
Copy Markdown
Contributor

@mmattel mmattel commented Jun 1, 2026

This PR removes old server releases from the history.

@mmattel mmattel requested a review from DeepDiver1975 June 1, 2026 16:25
@mmattel mmattel added the documentation Improvements or additions to documentation label Jun 1, 2026
@DeepDiver1975 DeepDiver1975 merged commit 261d691 into master Jun 1, 2026
2 checks passed
@DeepDiver1975 DeepDiver1975 deleted the cleanup_server_history branch June 1, 2026 18:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants